No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 130-137 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 88-93 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21066-21080 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
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. |
Mid-level-ontology.kif 30030-30060 |
- If a process is an instance of breaking record and an agent is an agent of the process,
- then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3910-3916 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18401-18406 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23260-23267 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1622-1622 |
Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1303-1303 |
Add to cart is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1457-1457 |
Checkout is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1587-1587 |
Watch item is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7928-7928 |
Large group process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23764-23764 |
Causing happiness is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23785-23785 |
Causing unhappiness is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30026-30026 |
Breaking record is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1319-1319 |
Content bearing process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1633-1633 |
Dual object process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1646-1646 |
Single agent process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10482-10482 |
Natural process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10486-10486 |
Intentional process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11013-11013 |
Motion is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12592-12592 |
Internal change is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 164-164 |
Agent patient process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2063-2063 |
Power generation is a subclass of process |