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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - spouse
spouse

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19810-19810 spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3713-3713
No TPTP formula. May not be expressible in strict first order. Merge.kif 15440-15441
No TPTP formula. May not be expressible in strict first order. Merge.kif 15438-15438 The number 1 argument of spouse is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 15439-15439 The number 2 argument of spouse is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 15435-15435 spouse is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15437-15437 spouse is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15436-15436 spouse is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15434-15434 spouse is a subrelation of legal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15432-15432 spouse is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15198-15198 spouse is a subrelation of relative

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4603-4603
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4602-4602
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4601-4601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54776-54776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54775-54775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54774-54774

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6949-6959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19623-19639

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19589-19596 A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19606-19613 A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human
No TPTP formula. May not be expressible in strict first order. Government.kif 1412-1417
No TPTP formula. May not be expressible in strict first order. Government.kif 1401-1406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18777-18791
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 964-973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6942-6947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10951-10957


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