No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 712-723 |
Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29674-29688 |
A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 502-518 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 864-873 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12029-12038 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 476-488 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21215-21227 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 753-763 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 782-790 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22917-22927 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21234-21253 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 332-347 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11252-11260 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5723-5734 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20826-20833 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 618-630 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11804-11813 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22988-22996 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1274-1295 |
- 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 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.0 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 the third object and the entity is not overlapsSpatially
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9532-9544 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10155-10165 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1718-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1591-1605 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1746-1759 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |