No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17103-17107 |
An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 514-518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11967-11977 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 32-46 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12360-12367 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12408-12415 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 690-700 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10647-10657 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10607-10617 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9515-9519 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2949-2957 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5661-5670 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11485-11492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3538-3547 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10046-10050 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2698-2714 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 383-396 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 403-416 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10039-10044 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9546-9552 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24327-24334 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5442-5444 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9935-9937 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15366-15371 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5129-5136 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |