TreeView Knowledge Base Browser - cohabitant

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - cohabitant

cohabitant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23032-23033
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23035-23035	The number 1 argument of cohabitant is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23036-23036	The number 2 argument of cohabitant is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23028-23028	cohabitant is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23030-23030	cohabitant is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23029-23029	cohabitant is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23038-23038	cohabitant is a subrelation of mutual acquaintance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 472-472
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 471-471
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 470-470
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23426-23426	domestic partner is a subrelation of cohabitant
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15512-15512
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15511-15511
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15510-15510

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23238-23254	If an organism is a parent of another organism and a third organism is a parent of the other organism and the organism is the spouse of the third organism and the third organism is a cohabitant of the organism and the organism is a cohabitant of the other organism holds during a time position, then there exists an entity such that the entity is an instance of nuclear family and the other organism is a member of the entity and the organism is a member of the entity and the third organism is a member of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23040-23048	If an entity is a cohabitant of another entity holds during a time position, then there exists a third entity such that the third entity is an instance of social unit and the third entity is a member of the other entity and the third entity is a member of the entity holds during the time position

consequent

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

Mid-level-ontology.kif 23050-23058

If an entity is an instance of social unit and the entity is a member of another entity and the entity is a member of a third entity holds during a time position,
then the third entity is a cohabitant of the other entity holds during the time position

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners