Crib - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4473-4473
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4472-4472	Crib is a subclass of bed

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 4474-4474

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1235-1243	If a collection is an instance of group of people and a cognitive agent is a member of the collection and an object is a member of the collection and the object is an instance of human baby and the cognitive agent is an instance of human adult and an entity is an instance of crib, then the cognitive agent is interested in the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4476-4483	If a physical is an instance of crib, then the physical purpose there exists an entity such that the entity is an instance of human baby and asleep is an attribute of the entity and the entity is located at the physical

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 24971-24976