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

Formal Language: 



KB Term:  Term intersection
English Word: 

  wife

 Sigma KEE - wife
wife

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3716-3716
No TPTP formula. May not be expressible in strict first order. Merge.kif 16606-16607
No TPTP formula. May not be expressible in strict first order. Merge.kif 16604-16604 O argumento numero 1 de wife e' uma instancia de Woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16605-16605 O argumento numero 2 de wife e' uma instancia de Man
No TPTP formula. May not be expressible in strict first order. Merge.kif 16601-16601 wife e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 16603-16603 wife e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 16602-16602 wife e' uma instancia de Relacao Irreflexiva

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4990-4990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4989-4989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4988-4988
No TPTP formula. May not be expressible in strict first order. Merge.kif 16596-16596 husband e' inverso de wife
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63081-63081
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63080-63080
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63079-63079

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20586-20589
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 606-612
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 285-299
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 305-319
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 618-624


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