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

Formal Language: 



KB Term:  Term intersection
English Word: 

  spouse

Sigma KEE - spouse
spouse

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22816-22816 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 16289-16290
No TPTP formula. May not be expressible in strict first order. Merge.kif 16287-16287 The number 1 argument of spouse is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16288-16288 The number 2 argument of spouse is an instance of human
No TPTP formula. May not be expressible in strict first order. Merge.kif 16284-16284 spouse is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16286-16286 spouse is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16285-16285 spouse is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16283-16283 spouse is a subrelation of legal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16281-16281 spouse is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16047-16047 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 54777-54777
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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7641-7651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22629-22645

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22595-22602 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 22612-22619 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 1423-1428
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. Mid-level-ontology.kif 21783-21797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 982-991
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7634-7639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13636-13642


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