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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16330-16331
No TPTP formula. May not be expressible in strict first order. Merge.kif 16328-16328 The number 1 argument of wife is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16329-16329 The number 2 argument of wife is an instance of man
No TPTP formula. May not be expressible in strict first order. Merge.kif 16325-16325 wife is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16327-16327 wife is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16326-16326 wife is an instance of irreflexive relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4999-4999
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4998-4998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4997-4997
No TPTP formula. May not be expressible in strict first order. Merge.kif 16320-16320 husband is an inverse of wife
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63048-63048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63047-63047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63046-63046

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19991-19994
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 593-599
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 274-288
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 294-308
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 605-611


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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