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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Solid

Sigma KEE - Solid
Solid

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17627-17627 Solid e' &o oposto de Liquid
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3924-3925 Solid e' &o oposto de Liquid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17637-17638 Solid e' &o oposto de Liquid
No TPTP formula. May not be expressible in strict first order. Merge.kif 17636-17636 Solid e' uma instancia de Estado Fisico

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17628-17628 exhaustiveAttribute Estado Fisico, Solid, Liquid, Gas and Plasma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31855-31855 roomTempState AbrinToxin and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31837-31837 roomTempState Actinium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31859-31859 roomTempState Alumina and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31761-31761 roomTempState Aluminum and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31843-31843 roomTempState Americium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31861-31861 roomTempState Amphetamine and Solid
No TPTP formula. May not be expressible in strict first order. Food.kif 2872-2872 roomTempState AnimalFat and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31799-31799 roomTempState Antimony and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31781-31781 roomTempState Arsenic and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31862-31862 roomTempState Asbestos and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31833-31833 roomTempState Astatine and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31865-31865 roomTempState Barite and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31804-31804 roomTempState Barium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31866-31866 roomTempState Batrachotoxin and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31867-31867 roomTempState Bauxite and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31845-31845 roomTempState Berkelium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31751-31751 roomTempState Beryllium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31831-31831 roomTempState Bismuth and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31868-31868 roomTempState BotulinumToxin and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31714-31714 roomTempState Boulder and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31698-31698 roomTempState BrownCoal and Solid
No TPTP formula. May not be expressible in strict first order. Food.kif 3098-3098 roomTempState Butter and Solid
No TPTP formula. May not be expressible in strict first order. Food.kif 2931-2931 roomTempState ButterFat and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31796-31796 roomTempState Cadmium and Solid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7520-7529
No TPTP formula. May not be expressible in strict first order. Geography.kif 7117-7137
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1379-1389
No TPTP formula. May not be expressible in strict first order. Cars.kif 1219-1228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21906-21912

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9197-9201 Objeto e' uma instancia de Ice Objeto e' uma instancia de Agua Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 10311-10315
No TPTP formula. May not be expressible in strict first order. Geography.kif 6972-6989
No TPTP formula. May not be expressible in strict first order. Merge.kif 14055-14063
No TPTP formula. May not be expressible in strict first order. Cars.kif 3045-3051
No TPTP formula. May not be expressible in strict first order. Merge.kif 13967-13975
No TPTP formula. May not be expressible in strict first order. naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. Weather.kif 1075-1080
No TPTP formula. May not be expressible in strict first order. Geography.kif 7024-7041
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 13875-13884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10742-10744
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10716-10728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4565-4580
No TPTP formula. May not be expressible in strict first order. Cars.kif 1150-1159
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Weather.kif 2765-2775
No TPTP formula. May not be expressible in strict first order. Geography.kif 5980-5986
No TPTP formula. May not be expressible in strict first order. Weather.kif 2497-2507
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9469-9471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9172-9174
No TPTP formula. May not be expressible in strict first order. Weather.kif 1164-1166
No TPTP formula. May not be expressible in strict first order. Weather.kif 1121-1123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18200-18202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4544-4559

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