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. |
Mid-level-ontology.kif 31131-31139 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7687-7692 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4941-4946 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5225-5227 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3877-3883 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3869-3875 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2016-2018 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2011-2013 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13682-13686 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3912-3919 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3894-3901 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3885-3892 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3903-3910 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 625-631 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19063-19067 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8781-8785 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3844-3848 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13617-13621 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19082-19088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13667-13671 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13590-13594 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19072-19076 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 770-781 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6902-6906 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |