No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5150-5158 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5184-5192 |
|
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 9509-9513 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10086-10093 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10076-10084 |
|
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 15385-15392 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14174-14179 |
|
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 8969-8974 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2782-2792 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2843-2872 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18477-18488 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2514-2524 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14194-14206 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14216-14221 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |