No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 744-755 |
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 32216-32230 |
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 489-501 |
|
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 869-878 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12394-12403 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 480-492 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23399-23411 |
|
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 25137-25147 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1035-1043 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23418-23437 |
|
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 13102-13110 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6980-6991 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 981-993 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3206-3218 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3233-3254 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 96-105 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3590-3599 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23150-23157 |
|
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 12108-12117 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25208-25216 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |