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 17579-17580 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17577-17577 | 液体 是 物质状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17578-17578 | 液体 是 流体 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17564-17564 | 固体 是 液体 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31436-31436 | roomTempState Absolut and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31554-31554 | 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 31555-31555 | roomTempState Aldosterone and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31556-31556 | roomTempState 生物碱 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31424-31424 | roomTempState Amaretto 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 Aperitif and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31561-31561 | roomTempState 阿托品 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31432-31432 | roomTempState Bacardi 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 Baileys and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31441-31441 | roomTempState 啤酒 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31413-31413 | roomTempState 饮料 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31549-31549 | roomTempState 血液剂 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31450-31450 | roomTempState 硼 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31440-31440 | roomTempState 白兰地 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31481-31481 | 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 31422-31422 | roomTempState Campari and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31426-31426 | roomTempState Chambord and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31419-31419 | roomTempState Champagne and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31571-31571 | roomTempState 化学酸 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31572-31572 | 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 17565-17565 | 固体 是所有的 物质状态 的 attributes |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1747-1767 |
|
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 17616-17623 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31674-31685 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13965-13967 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10298-10302 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13955-13963 | |
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 1747-1767 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14001-14009 | |
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 9963-9975 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13975-13988 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14022-14030 | |
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 2172-2180 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13934-13942 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11248-11252 | |
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 13885-13900 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13840 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18017-18023 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18035-18043 | |
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 5002-5007 |
|
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 10497-10509 | |
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 19617-19623 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10009-10022 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |