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 26615-26618
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26620-26620 The number 1 argument of conventional short name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26621-26621 The number 2 argument of conventional short name is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26613-26613 conventional short name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26622-26622 conventional short name is a subrelation of names

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 26627-26627 abbreviation is a subrelation of conventional short name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17097-17097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17096-17096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26633-26633
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17095-17095

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28203-28203 Actinium is a conventional short name of "Ac"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27440-27440 Silver is a conventional short name of "Ag"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3064-3064 Air pollution convention is a conventional short name of "Air Pollution"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26869-26869 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28309-28309 Americium is a conventional short name of "Am"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3110-3110 Antarctic seals convention is a conventional short name of "Antarctic Seals"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3104-3104 Antarctic- marine living resources convention is a conventional short name of "Antarctic-Marine Living Resources"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26952-26952 Argon is a conventional short name of "Ar"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27200-27200 Arsenic is a conventional short name of "As"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28136-28136 Astatine is a conventional short name of "At"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28025-28025 Gold is a conventional short name of "Au"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26725-26725 Boron is a conventional short name of "B"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27597-27597 Barium is a conventional short name of "Ba"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3171-3171 Hazardous wastes convention is a conventional short name of "Basel Convention"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26709-26709 Beryllium is a conventional short name of "Be"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28101-28101 Bismuth is a conventional short name of "Bi"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28343-28343 Berkelium is a conventional short name of "Bk"
No TPTP formula. May not be expressible in strict first order. Government.kif 4792-4792 US customs and border protection is a conventional short name of "Border Patrol"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27231-27231 Bromine is a conventional short name of "Br"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26744-26744 Carbon is a conventional short name of "C"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26983-26983 Calcium is a conventional short name of "Ca"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27455-27455 Cadmium is a conventional short name of "Cd"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27633-27633 Cerium is a conventional short name of "Ce"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28360-28360 Californium is a conventional short name of "Cf"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26935-26935 Chlorine is a conventional short name of "Cl"

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