No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 718-729 |
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 30212-30226 |
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 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 866-875 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12118-12127 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 482-494 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21706-21718 |
|
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 23444-23454 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1033-1041 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21725-21744 |
|
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. |
Mid-level-ontology.kif 11618-11626 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6003-6014 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3585-3594 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21312-21319 |
|
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 11893-11902 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23515-23523 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1275-1296 |
- 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,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object 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 fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9893-9905 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10516-10526 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1710-1721 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |