conventionalShortName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27221-27224 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27226-27226 | Le nombre 1 argument de conventionalShortName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27227-27227 | Le nombre 2 argument de conventionalShortName est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27219-27219 | conventionalShortName est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27228-27228 | conventionalShortName est une sous-relation de 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 27233-27233 | abbreviation est une sous-relation de conventionalShortName |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17106-17106 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17105-17105 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27239-27239 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17104-17104 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28809-28809 | conventionalShortName "Ac" and Actinium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28046-28046 | conventionalShortName "Ag" and Silver |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3142-3142 | conventionalShortName "Air Pollution" and AirPollutionConvention |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27475-27475 | conventionalShortName "Al" and Aluminum |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28915-28915 | conventionalShortName "Am" and Americium |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3188-3188 | conventionalShortName "Antarctic Seals" and AntarcticSealsConvention |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3182-3182 | conventionalShortName "Antarctic-Marine Living Resources" and Antarctic-MarineLivingResourcesConvention |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27558-27558 | conventionalShortName "Ar" and Argon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27806-27806 | conventionalShortName "As" and Arsenic |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28742-28742 | conventionalShortName "At" and Astatine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28631-28631 | conventionalShortName "Au" and Gold |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27331-27331 | conventionalShortName "B" and Boron |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28203-28203 | conventionalShortName "Ba" and Barium |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3249-3249 | conventionalShortName "Basel Convention" and HazardousWastesConvention |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27315-27315 | conventionalShortName "Be" and Beryllium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28707-28707 | conventionalShortName "Bi" and Bismuth |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28949-28949 | conventionalShortName "Bk" and Berkelium |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4800-4800 | conventionalShortName "Border Patrol" and USCustomsAndBorderProtection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27837-27837 | conventionalShortName "Br" and Bromine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27350-27350 | conventionalShortName "C" and Carbon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27589-27589 | conventionalShortName "Ca" and Calcium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28061-28061 | conventionalShortName "Cd" and Cadmium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28239-28239 | conventionalShortName "Ce" and Cerium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28966-28966 | conventionalShortName "Cf" and Californium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27541-27541 | conventionalShortName "Cl" and Chlorine |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |