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 O argumento numero 1 de husband e' uma instancia de Man
No TPTP formula. May not be expressible in strict first order. Merge.kif 16573-16573 O argumento numero 2 de husband e' uma instancia de Woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16568-16568 husband e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 16569-16569 husband e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 16570-16570 husband e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16571-16571 husband e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16574-16574 husband e' inverso de 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