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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - spouse
spouse

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23425-23425 spouse e domesticPartner sao disjuntos
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3713-3713
No TPTP formula. May not be expressible in strict first order. Merge.kif 16635-16636
No TPTP formula. May not be expressible in strict first order. Merge.kif 16633-16633 O argumento numero 1 de spouse e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Merge.kif 16634-16634 O argumento numero 2 de spouse e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Merge.kif 16630-16630 spouse e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16632-16632 spouse e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16631-16631 spouse e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 16629-16629 spouse e' uma sub-relacao de legalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16627-16627 spouse e' uma sub-relacao de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16393-16393 spouse e' uma sub-relacao de relative

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4594-4594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4593-4593
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4592-4592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54800-54800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54799-54799
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54798-54798

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7999-8009
No TPTP formula. May not be expressible in strict first order. Biography.kif 307-317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23238-23254

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23204-23211 stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23221-23228 stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano
No TPTP formula. May not be expressible in strict first order. Government.kif 1390-1395
No TPTP formula. May not be expressible in strict first order. Government.kif 1379-1384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22359-22373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1018-1027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7992-7997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14197-14203


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



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