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 27519-27522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27524-27524 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 27525-27525 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 27517-27517 conventionalShortName e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27526-27526 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 27531-27531 abbreviation e' uma sub-relacao de conventionalShortName
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17117-17117 abbreviation e' uma sub-relacao de conventionalShortName
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17116-17116 abbreviation e' uma sub-relacao de conventionalShortName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27555-27555 abbreviation e' uma sub-relacao de conventionalShortName
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17115-17115 abbreviation e' uma sub-relacao de conventionalShortName

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29125-29125 conventionalShortName "Ac" and Actinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28362-28362 conventionalShortName "Ag" and Silver
No TPTP formula. May not be expressible in strict first order. Geography.kif 3130-3130 conventionalShortName "Air Pollution" and AirPollutionConvention
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27791-27791 conventionalShortName "Al" and Aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29231-29231 conventionalShortName "Am" and Americium
No TPTP formula. May not be expressible in strict first order. Geography.kif 3176-3176 conventionalShortName "Antarctic Seals" and AntarcticSealsConvention
No TPTP formula. May not be expressible in strict first order. Geography.kif 3170-3170 conventionalShortName "Antarctic_Marine Living Resources" and Antarctic_MarineLivingResourcesConvention
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27874-27874 conventionalShortName "Ar" and Argon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28122-28122 conventionalShortName "As" and Arsenic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29058-29058 conventionalShortName "At" and Astatine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28947-28947 conventionalShortName "Au" and Gold
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27647-27647 conventionalShortName "B" and Boron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28519-28519 conventionalShortName "Ba" and Barium
No TPTP formula. May not be expressible in strict first order. Geography.kif 3237-3237 conventionalShortName "Basel Convention" and HazardousWastesConvention
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27631-27631 conventionalShortName "Be" and Beryllium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29023-29023 conventionalShortName "Bi" and Bismuth
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29265-29265 conventionalShortName "Bk" and Berkelium
No TPTP formula. May not be expressible in strict first order. Government.kif 4762-4762 conventionalShortName "Border Patrol" and USCustomsAndBorderProtection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28153-28153 conventionalShortName "Br" and Bromine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27666-27666 conventionalShortName "C" and Carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27905-27905 conventionalShortName "Ca" and Calcium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28377-28377 conventionalShortName "Cd" and Cadmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28555-28555 conventionalShortName "Ce" and Cerium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29282-29282 conventionalShortName "Cf" and Californium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27857-27857 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