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 16606-16607
No TPTP formula. May not be expressible in strict first order. Merge.kif 16604-16604 Le nombre 1 argument de wife est une instance de Woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16605-16605 Le nombre 2 argument de wife est une instance de Man
No TPTP formula. May not be expressible in strict first order. Merge.kif 16601-16601 wife est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 16603-16603 wife est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 16602-16602 wife est une instance de relation irr�flexive

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 est l' inverse 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 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