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 22979-22980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22982-22982 Le nombre 1 argument de cohabitant est une instance de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22983-22983 Le nombre 2 argument de cohabitant est une instance de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22975-22975 cohabitant est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22977-22977 cohabitant est une instance de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22976-22976 cohabitant est une instance de relation sym�trique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22985-22985 cohabitant est une sous-relation de mutualAcquaintance

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 23373-23373 domesticPartner est une sous-relation de 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 23185-23201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22987-22995

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