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 16584-16585
No TPTP formula. May not be expressible in strict first order. Merge.kif 16582-16582 妻子 的 1 数量 是 女人 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16583-16583 妻子 的 2 数量 是 人 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16579-16579 妻子 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16581-16581 妻子 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16580-16580 妻子 是 非自反关系 的 instance

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 16574-16574 丈夫 是 妻子 的 inverse
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 20587-20590
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