C
SubClassOf BC
EquivalentTo Bnecessary
and sufficient condition of B
(and vice versa)Class:
Father
EquivalentTo:
Male
and (parentOf some owl:Thing)Class:
Carnivore
EquivalentTo:
(eats some Animal)
and (eats only Animal)Class:
Father
SubClassOf:
MaleClass:
Carnivore
SubClassOf:
Animaleats)ASK
and TELLASKs after
specific TELLsASK
takes a state and a sentence and returns yes or noTELL
takes a state and a sentence and returns a new stateTELL
it things via the interfaceASKing
is enabled by a commandASKs