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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Liquid

Sigma KEE - Liquid
Liquid(液体)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3928-3929
No TPTP formula. May not be expressible in strict first order. Merge.kif 17557-17558
No TPTP formula. May not be expressible in strict first order. Merge.kif 17555-17555 液体物质状态instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17556-17556 液体流体subAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17542-17542 固体液体 的相反
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31440-31440 roomTempState Absolut and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31558-31558 roomTempState and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31421-31421 roomTempState 酒精饮料 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31559-31559 roomTempState Aldosterone and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31560-31560 roomTempState 生物碱 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31428-31428 roomTempState Amaretto and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31562-31562 roomTempState 氨基酸 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31425-31425 roomTempState Aperitif and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31565-31565 roomTempState 阿托品 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31436-31436 roomTempState Bacardi and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31566-31566 roomTempState 杆菌肽 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31429-31429 roomTempState Baileys and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31445-31445 roomTempState 啤酒 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31417-31417 roomTempState 饮料 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31553-31553 roomTempState 血液剂 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31454-31454 roomTempState and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31444-31444 roomTempState 白兰地 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31485-31485 roomTempState and 液体
No TPTP formula. May not be expressible in strict first order. Food.kif 3170-3170 roomTempState Buttermilk and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31426-31426 roomTempState Campari and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31430-31430 roomTempState Chambord and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31423-31423 roomTempState Champagne and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31575-31575 roomTempState 化学酸 and 液体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31576-31576 roomTempState 化学基地 and 液体

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17543-17543 固体 是所有的 物质状态attributes

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
No TPTP formula. May not be expressible in strict first order. Geography.kif 7545-7554
No TPTP formula. May not be expressible in strict first order. Merge.kif 17594-17601
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31678-31689
No TPTP formula. May not be expressible in strict first order. Merge.kif 13943-13945

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10276-10280
No TPTP formula. May not be expressible in strict first order. Merge.kif 13933-13941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4692-4696
No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
No TPTP formula. May not be expressible in strict first order. Merge.kif 13979-13987
No TPTP formula. May not be expressible in strict first order. Geography.kif 6997-7014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9964-9976
No TPTP formula. May not be expressible in strict first order. Merge.kif 13953-13966
No TPTP formula. May not be expressible in strict first order. Merge.kif 14000-14008
No TPTP formula. May not be expressible in strict first order. Geography.kif 7497-7509
No TPTP formula. May not be expressible in strict first order. Cars.kif 2166-2174
No TPTP formula. May not be expressible in strict first order. Merge.kif 13912-13920
No TPTP formula. May not be expressible in strict first order. Merge.kif 11226-11230
No TPTP formula. May not be expressible in strict first order. Geography.kif 7049-7066
No TPTP formula. May not be expressible in strict first order. Merge.kif 13863-13878
No TPTP formula. May not be expressible in strict first order. Merge.kif 13809-13818
No TPTP formula. May not be expressible in strict first order. Merge.kif 17995-18001
No TPTP formula. May not be expressible in strict first order. Merge.kif 18013-18021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1899-1906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5003-5008
No TPTP formula. May not be expressible in strict first order. Food.kif 395-397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10498-10510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4570-4585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19618-19624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10010-10023

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