No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30018-30048 |
- 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. |
Mid-level-ontology.kif 13515-13526 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2032-2042 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26678-26681 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4025-4038 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 826-831 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29718-29727 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2019-2024 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1231-1239 |
|
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. |
Economy.kif 2112-2121 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6201-6209 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7527-7532 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15453-15462 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2029-2034 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3377-3383 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 599-607 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6393-6404 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2174-2184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18420-18441 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9670-9675 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 281-292 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4732-4740 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6425-6434 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2277-2286 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1694-1699 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 98-104 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4481-4492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14788-14797 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6191-6199 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3490-3517 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8242-8256 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1980-1989 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18895-18900 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21088-21100 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21035-21042 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4365-4372 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 989-996 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2202-2211 |
|
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. |
Merge.kif 15188-15209 |
|
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 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16980-16985 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14605-14612 |
|
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. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24194-24205 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8292-8301 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5235-5244 |
|
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. |
MilitaryDevices.kif 48-56 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2271-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24235-24245 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2193-2203 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15015-15023 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1909-1915 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 299-306 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 855-860 |
|
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. |
Mid-level-ontology.kif 18083-18091 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21065-21079 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3600-3605 |
|
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 1778-1792 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 160-167 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1928-1937 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2156-2165 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12036-12048 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5485-5493 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9560-9573 |
|