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 29122-29125
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29127-29127 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 29128-29128 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 29120-29120 conventional short name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29129-29129 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 29134-29134 abbreviation is a subrelation of conventional short name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17115-17115 abbreviation is a subrelation of conventional short name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17114-17114 abbreviation is a subrelation of conventional short name
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29158-29158 abbreviation is a subrelation of conventional short name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17113-17113 abbreviation is a subrelation of conventional short name

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30728-30728 Actinium is a conventional short name of "Ac"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29965-29965 Silver is a conventional short name of "Ag"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3438-3438 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 29394-29394 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30834-30834 Americium is a conventional short name of "Am"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3484-3484 Antarctic seals convention is a conventional short name of "Antarctic Seals"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3478-3478 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 29477-29477 Argon is a conventional short name of "Ar"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29725-29725 Arsenic is a conventional short name of "As"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30661-30661 Astatine is a conventional short name of "At"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30550-30550 Gold is a conventional short name of "Au"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29250-29250 Boron is a conventional short name of "B"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30122-30122 Barium is a conventional short name of "Ba"
No TPTP formula. May not be expressible in strict first order. Geography.kif 3545-3545 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 29234-29234 Beryllium is a conventional short name of "Be"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30626-30626 Bismuth is a conventional short name of "Bi"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30868-30868 Berkelium is a conventional short name of "Bk"
No TPTP formula. May not be expressible in strict first order. Government.kif 4761-4761 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 29756-29756 Bromine is a conventional short name of "Br"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29269-29269 Carbon is a conventional short name of "C"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29508-29508 Calcium is a conventional short name of "Ca"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29980-29980 Cadmium is a conventional short name of "Cd"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30158-30158 Cerium is a conventional short name of "Ce"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30885-30885 Californium is a conventional short name of "Cf"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29460-29460 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