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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PronatorQuadratusMuscle

 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 16597-16598
No TPTP formula. May not be expressible in strict first order. Merge.kif 16594-16594 O argumento numero 1 de husband e' uma instancia de Man
No TPTP formula. May not be expressible in strict first order. Merge.kif 16595-16595 O argumento numero 2 de husband e' uma instancia de Woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16590-16590 husband e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 16591-16591 husband e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 16592-16592 husband e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16593-16593 husband e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16596-16596 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