No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5378-5383 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5451-5456 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4732-4735 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 189-201 |
|
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. |
Economy.kif 5388-5393 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4107-4110 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4945-4950 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5306-5311 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5409-5416 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5358-5363 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4825-4829 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2427-2429 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 401-404 |
|
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. |
Geography.kif 6921-6923 |
|
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 24195-24206 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2672-2674 |
|
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. |
Economy.kif 4715-4721 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4214-4218 |
|
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. |
Food.kif 3397-3399 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2584-2586 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24236-24246 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3360-3362 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4066-4069 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4076-4079 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5041-5046 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2396-2398 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5316-5321 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31387-31394 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4096-4099 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5431-5436 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2403-2405 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3483-3485 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4223-4227 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2696-2698 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5326-5333 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5461-5466 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3489-3491 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5368-5373 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1780-1788 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2733-2735 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14624-14638 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 339-343 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15166-15187 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5051-5056 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1633-1639 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5296-5301 |
|
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. |
WMD.kif 1371-1374 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2210-2212 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2019-2022 |
|
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. |
WMD.kif 1393-1396 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2170-2172 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5348-5353 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 195-200 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5421-5426 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5398-5403 |
|
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. |
Economy.kif 4839-4843 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4265-4269 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4166-4172 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2184-2186 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5441-5446 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2421-2423 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5032-5036 |
|
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. |
Food.kif 2876-2882 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1381-1384 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4629-4634 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2906-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4693-4699 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5338-5343 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2529-2531 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4277-4281 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4239-4243 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4086-4089 |
|