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

Formal Language: 



KB Term:  Term intersection
English Word: 

  husband

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 16575-16576
No TPTP formula. May not be expressible in strict first order. Merge.kif 16572-16572 The number 1 argument of husband is an instance of man
No TPTP formula. May not be expressible in strict first order. Merge.kif 16573-16573 The number 2 argument of husband is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16568-16568 husband is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16569-16569 husband is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16570-16570 husband is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16571-16571 husband is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16574-16574 husband is an inverse of wife

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3682-3682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3681-3681
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 28983-28983
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28982-28982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28981-28981

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 630-636
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 642-648


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