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 |