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

Formal Language: 



KB Term:  Term intersection
English Word: 

  meltingPoint

Sigma KEE - meltingPoint
meltingPoint

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1420-1421
No TPTP formula. May not be expressible in strict first order. Merge.kif 13914-13916
No TPTP formula. May not be expressible in strict first order. Merge.kif 13913-13913 O argumento numero 2 de meltingPoint e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order. Merge.kif 13912-13912 O argumento numero 1 de meltingPoint e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order. Merge.kif 13911-13911 meltingPoint e' uma instancia de Predicado Binario

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1679-1679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1678-1678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1677-1677
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37012-37012
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37011-37011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37010-37010

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13918-13933
No TPTP formula. May not be expressible in strict first order. Merge.kif 13935-13948
No TPTP formula. May not be expressible in strict first order. Merge.kif 13864-13873
No TPTP formula. May not be expressible in strict first order. Merge.kif 13875-13884
No TPTP formula. May not be expressible in strict first order. Merge.kif 13950-13954

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29673-29673 meltingPoint Actinium and 1320.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29521-29521 meltingPoint Aluminum and 933.52 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29685-29685 meltingPoint Americium and 1267.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29597-29597 meltingPoint Antimony and 903.89 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29531-29531 meltingPoint Argon and 83.78 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29561-29561 meltingPoint Arsenic and 886.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29665-29665 meltingPoint Astatine and 575.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29607-29607 meltingPoint Barium and 998.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29689-29689 meltingPoint Berkelium and 1259.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29503-29503 meltingPoint Beryllium and 1551.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29661-29661 meltingPoint Bismuth and 544.5 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29505-29505 meltingPoint Boron and 2573.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29565-29565 meltingPoint Bromine and 265.9 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29591-29591 meltingPoint Cadmium and 594.1 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29605-29605 meltingPoint Caesium and 301.55 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29535-29535 meltingPoint Calcium and 1112.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29690-29690 meltingPoint Californium and 1173.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29507-29507 meltingPoint Carbon and 3823.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29611-29611 meltingPoint Cerium and 1071.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29529-29529 meltingPoint Chlorine and 172.17 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29543-29543 meltingPoint Chromium and 2130.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29549-29549 meltingPoint Cobalt and 1768.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29553-29553 meltingPoint Copper and 1356.6 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29688-29688 meltingPoint Curium and 1613.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29627-29627 meltingPoint Dysprosium and 1682.0 KelvinDegree(s)

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