No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5149-5157 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5183-5191 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2782-2795 |
- If flat is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2803-2816 |
- If long and thin is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9531-9535 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10108-10115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10098-10106 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 695-697 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 22-27 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4508-4510 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 952-957 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 942-950 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 934-940 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15384-15391 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14196-14201 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5782-5787 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3698-3704 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1545-1553 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8968-8973 |
|
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. |
Cars.kif 2849-2878 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18476-18487 |
|
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. |
Merge.kif 14216-14228 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14238-14243 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |