![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17564-17564 | 相反的屬性 固體, 液體, 加油站 and 等離子體 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3924-3925 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17574-17575 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17573-17573 | 例 固體 and PhysicalState |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17565-17565 | 固體 是所有的 PhysicalState 的 attributes |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31553-31553 | roomTempState abrin毒素 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31535-31535 | roomTempState 錒 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31557-31557 | roomTempState 礬土 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31459-31459 | roomTempState 鋁 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31541-31541 | roomTempState 銤 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31559-31559 | roomTempState Amphetamine and 固體 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2872-2872 | roomTempState AnimalFat and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31497-31497 | roomTempState 銻 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31479-31479 | roomTempState 砷 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 31531-31531 | roomTempState 砹 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31563-31563 | roomTempState 重晶石 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31502-31502 | roomTempState 鋇 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31564-31564 | roomTempState batrachotoxin 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 31543-31543 | roomTempState 锫 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31449-31449 | roomTempState 鈹 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31529-31529 | roomTempState 鉍 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 31412-31412 | roomTempState Boulder and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31396-31396 | roomTempState 褐煤 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3098-3098 | roomTempState 奶油 and 固體 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2931-2931 | roomTempState ButterFat and 固體 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31494-31494 | roomTempState 鎘 and 固體 |
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 7545-7554 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7142-7162 |
|
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 21615-21621 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8978-8982 | 例 Object and 冰 例 Object and Water attribute Object and 固體 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10287-10291 | |
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. | Merge.kif 14022-14030 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2992-2998 | |
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. | naics.kif 631-648 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1087-1092 | |
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 13902-13915 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13842-13851 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10523-10525 | |
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. | 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 2778-2788 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6004-6010 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2510-2520 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9250-9252 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8953-8955 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1176-1178 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1133-1135 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17909-17911 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4549-4564 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |