conventionalShortName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27209-27212 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27214-27214 | O argumento numero 1 de conventionalShortName e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27215-27215 | O argumento numero 2 de conventionalShortName e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27207-27207 | conventionalShortName e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27216-27216 | conventionalShortName e' uma sub-relacao 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 27221-27221 | abbreviation e' uma sub-relacao 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 27227-27227 | |
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 28797-28797 | conventionalShortName "Ac" and Actinium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28034-28034 | 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 27463-27463 | conventionalShortName "Al" and Aluminum |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28903-28903 | 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 27546-27546 | conventionalShortName "Ar" and Argon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27794-27794 | conventionalShortName "As" and Arsenic |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28730-28730 | conventionalShortName "At" and Astatine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28619-28619 | conventionalShortName "Au" and Gold |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27319-27319 | conventionalShortName "B" and Boron |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28191-28191 | 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 27303-27303 | conventionalShortName "Be" and Beryllium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28695-28695 | conventionalShortName "Bi" and Bismuth |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28937-28937 | 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 27825-27825 | conventionalShortName "Br" and Bromine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27338-27338 | conventionalShortName "C" and Carbon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27577-27577 | conventionalShortName "Ca" and Calcium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28049-28049 | conventionalShortName "Cd" and Cadmium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28227-28227 | conventionalShortName "Ce" and Cerium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28954-28954 | conventionalShortName "Cf" and Californium |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27529-27529 | conventionalShortName "Cl" and Chlorine |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |