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

Formal Language: 



KB Term:  Term intersection
English Word: 

  uniqueIdWithRespectTo

 Sigma KEE - uniqueIdWithRespectTo
uniqueIdWithRespectTo

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29909-29912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29906-29906 uniqueIdWithRespectTo 的 1 数量 是 物理 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29907-29907 uniqueIdWithRespectTo 的 2 数量 是 物理 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29908-29908 uniqueIdWithRespectTo 的 3 数量 是 符号串 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29905-29905 uniqueIdWithRespectTo 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4866-4866
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4865-4865
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4864-4864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65966-65966

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29929-29936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30002-30008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29918-29924


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