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 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


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