| 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