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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - husband
husband

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3714-3715
No TPTP formula. May not be expressible in strict first order. Merge.kif 16735-16736
No TPTP formula. May not be expressible in strict first order. Merge.kif 16732-16732 The number 1 argument of husband is an instance of man
No TPTP formula. May not be expressible in strict first order. Merge.kif 16733-16733 The number 2 argument of husband is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16728-16728 husband is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16729-16729 husband is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16730-16730 husband is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16731-16731 husband is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16734-16734 husband is an inverse of wife

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3680-3680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3679-3679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3678-3678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28994-28994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28993-28993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28992-28992

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 644-650
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 658-664


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