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 23410-23410 mutualStranger e mutualAcquaintance sao disjuntos
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23400-23404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23406-23406 O argumento numero 1 de mutualStranger e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23407-23407 O argumento numero 2 de mutualStranger e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23397-23397 mutualStranger e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23398-23398 mutualStranger e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23408-23408 mutualStranger e' uma sub-relacao de 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 39509-39509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39508-39508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39507-39507


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