Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  conventionalShortName

 Sigma KEE - conventionalShortName
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 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 27215-27215 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 27207-27207 conventionalShortName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27216-27216 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 27221-27221 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 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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