No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21952-21958 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 440-447 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 465-472 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 490-497 |
|
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. |
Geography.kif 1533-1541 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1285-1298 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3691-3711 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13349-13357 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13415-13423 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13382-13390 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 902-906 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5021-5032 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3735-3755 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5645-5652 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 323-330 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 252-257 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2509-2517 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1630-1642 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8625-8627 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5311-5313 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6162-6168 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8652-8654 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2642-2651 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |