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 25507-25510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25512-25512 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 25513-25513 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 25505-25505 conventional short name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25514-25514 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 25519-25519 abbreviation is a subrelation of conventional short name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17029-17029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17028-17028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25525-25525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17027-17027

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27014-27014 Actinium is a conventional short name of "Ac"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26293-26293 Silver is a conventional short name of "Ag"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3001-3001 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 25756-25756 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27114-27114 Americium is a conventional short name of "Am"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3047-3047 Antarctic seals convention is a conventional short name of "Antarctic Seals"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3041-3041 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 25834-25834 Argon is a conventional short name of "Ar"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26067-26067 Arsenic is a conventional short name of "As"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26951-26951 Astatine is a conventional short name of "At"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26846-26846 Gold is a conventional short name of "Au"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25620-25620 Boron is a conventional short name of "B"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26441-26441 Barium is a conventional short name of "Ba"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3108-3108 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 25605-25605 Beryllium is a conventional short name of "Be"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26918-26918 Bismuth is a conventional short name of "Bi"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27146-27146 Berkelium is a conventional short name of "Bk"
No TPTP formula. May not be expressible in strict first order. Government.kif 4731-4731 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 26096-26096 Bromine is a conventional short name of "Br"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25638-25638 Carbon is a conventional short name of "C"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25863-25863 Calcium is a conventional short name of "Ca"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26307-26307 Cadmium is a conventional short name of "Cd"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26475-26475 Cerium is a conventional short name of "Ce"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27162-27162 Californium is a conventional short name of "Cf"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25818-25818 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