No TPTP formula. May not be expressible in strict first order. |
Biography.kif 518-537 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 351-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 675-688 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3961-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 691-697 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 700-706 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19562-19581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21489-21495 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21497-21503 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21505-21512 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 902-923 |
- If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process,
- then there exist the other process, a transfer,, , an object,, , another object,, , a third object,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the entity is an instance of land area and the transfer ends up at the entity and overlaps spatially the third object and the entity
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 548-556 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14604-14616 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 106-112 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 114-120 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12374-12381 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1775-1781 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13612-13616 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13588-13592 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21418-21423 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2144-2157 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2133-2142 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1774-1785 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4699-4716 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21470-21477 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |