Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  cohabitant

Sigma KEE - cohabitant
cohabitant

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22980-22981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22983-22983 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 22984-22984 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 22976-22976 cohabitant is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22978-22978 cohabitant is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22977-22977 cohabitant is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22986-22986 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 23374-23374 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 23186-23202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22988-22996

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22998-23006


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