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 23373-23373 spouse et domesticPartner sont 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 16564-16565
No TPTP formula. May not be expressible in strict first order. Merge.kif 16562-16562 Le nombre 1 argument de spouse est une instance de humain
No TPTP formula. May not be expressible in strict first order. Merge.kif 16563-16563 Le nombre 2 argument de spouse est une instance de humain
No TPTP formula. May not be expressible in strict first order. Merge.kif 16559-16559 spouse est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 16561-16561 spouse est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 16560-16560 spouse est une instance de relation sym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 16558-16558 spouse est une sous-relation de legalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16556-16556 spouse est une sous-relation de mutualAcquaintance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16322-16322 spouse est une sous-relation de relative

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4594-4594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4593-4593
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4592-4592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54798-54798
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54797-54797
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54796-54796

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7972-7982
No TPTP formula. May not be expressible in strict first order. Biography.kif 307-317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23186-23202

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23152-23159 stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23169-23176 stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain
No TPTP formula. May not be expressible in strict first order. Government.kif 1426-1431
No TPTP formula. May not be expressible in strict first order. Government.kif 1415-1420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22307-22321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1025-1034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7965-7970
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14170-14176


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