No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30132-30140 |
Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity wears the other entity holds during the time position |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30145-30153 |
Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity wears the other entity holds during the time position |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5503-5518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5538-5549 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5306-5314 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 469-479 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15933-15937 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5072-5080 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 492-505 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 170-177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26675-26683 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5057-5066 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 376-387 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 399-410 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 533-539 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 450-456 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 502-508 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 438-444 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 515-521 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 489-495 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 470-476 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4749-4759 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4369-4380 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3482-3509 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3511-3524 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |