![]() |
![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |