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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - conventionalShortName
conventionalShortName

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27221-27224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27226-27226 傳統的短名稱, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27227-27227 傳統的短名稱, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27219-27219 傳統的短名稱 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27228-27228 子關係 傳統的短名稱 and

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 548-548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 547-547
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 546-546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27233-27233 子關係 縮寫 and 傳統的短名稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17106-17106
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17105-17105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27239-27239
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17104-17104

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28809-28809 是 "Ac" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28046-28046 是 "Ag" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Geography.kif 3142-3142 空氣污染公約 是 "Air Pollution" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27475-27475 是 "Al" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28915-28915 是 "Am" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Geography.kif 3188-3188 南極海豹公約 是 "Antarctic Seals" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Geography.kif 3182-3182 南極洲 - 海洋生物資源公約 是 "Antarctic-Marine Living Resources" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27558-27558 是 "Ar" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27806-27806 是 "As" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28742-28742 是 "At" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28631-28631 是 "Au" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27331-27331 是 "B" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28203-28203 是 "Ba" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Geography.kif 3249-3249 危險廢物公約 是 "Basel Convention" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27315-27315 是 "Be" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28707-28707 是 "Bi" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28949-28949 是 "Bk" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 4800-4800 美國海關和邊境保護局 是 "Border Patrol" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27837-27837 是 "Br" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27350-27350 是 "C" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27589-27589 是 "Ca" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28061-28061 是 "Cd" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28239-28239 是 "Ce" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28966-28966 是 "Cf" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27541-27541 是 "Cl" 的 conventional 簡稱

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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