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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - workAddress
workAddress

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23271-23274
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23275-23275 O argumento numero 1 de workAddress e' uma instancia de PostalPlace
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23276-23276 O argumento numero 2 de workAddress e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23269-23269 workAddress e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23268-23268 workAddress e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23270-23270 workAddress e' uma sub-relacao de postContactSite

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2634-2634
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2633-2633
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2632-2632
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63455-63455
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63454-63454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63453-63453


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