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 22980-22981
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22983-22983	O argumento numero 1 de cohabitant e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22984-22984	O argumento numero 2 de cohabitant e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22976-22976	cohabitant e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22978-22978	cohabitant e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22977-22977	cohabitant e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22986-22986	cohabitant e' uma sub-relacao 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 23374-23374	domesticPartner e' uma sub-relacao 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 23186-23202	Organismo e' um genitor de Organismo Organismo e' um genitor de Organismo spouse Organismo and Organismo cohabitant Organismo and Organismo cohabitant Organismo and Organismo vale durante Posicao Temporal Entidade Entidade e' uma instancia de NuclearFamily Organismo e' membro de Entidade Organismo e' membro de Entidade Organismo e' membro de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22988-22996	cohabitant Entidade and Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de SocialUnit Entidade e' membro de Entidade Entidade e' membro de Entidade vale durante Posicao Temporal

consequent

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

Mid-level-ontology.kif 22998-23006

Entidade e' uma instancia de SocialUnit Entidade e' membro de Entidade Entidade e' membro de Entidade vale durante Posicao Temporal
cohabitant Entidade and Entidade vale durante Posicao Temporal

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