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 25515-25518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25520-25520 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 25521-25521 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 25513-25513 conventional short name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25522-25522 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 25527-25527 abbreviation is a subrelation of conventional short name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17104-17104
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17103-17103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25533-25533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17102-17102

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27022-27022 Actinium is a conventional short name of "Ac"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26301-26301 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 25764-25764 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27122-27122 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 25842-25842 Argon is a conventional short name of "Ar"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26075-26075 Arsenic is a conventional short name of "As"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26959-26959 Astatine is a conventional short name of "At"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26854-26854 Gold is a conventional short name of "Au"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25628-25628 Boron is a conventional short name of "B"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26449-26449 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 25613-25613 Beryllium is a conventional short name of "Be"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26926-26926 Bismuth is a conventional short name of "Bi"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27154-27154 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 26104-26104 Bromine is a conventional short name of "Br"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25646-25646 Carbon is a conventional short name of "C"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25871-25871 Calcium is a conventional short name of "Ca"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26315-26315 Cadmium is a conventional short name of "Cd"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26483-26483 Cerium is a conventional short name of "Ce"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27170-27170 Californium is a conventional short name of "Cf"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25826-25826 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