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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mutualStranger

 Sigma KEE - mutualStranger
mutualStranger

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23358-23358 mutual stranger and mutual acquaintance are disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23348-23352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23354-23354 The number 1 argument of mutual stranger is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23355-23355 The number 2 argument of mutual stranger is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23345-23345 mutual stranger is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23346-23346 mutual stranger is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23356-23356 mutual stranger is a subrelation of stranger

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1771-1771
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1770-1770
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1769-1769
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39507-39507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39506-39506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39505-39505


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