No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 723-734 |
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 30213-30227 |
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 867-876 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12229-12238 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 487-499 |
|
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 23443-23453 |
|
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 11743-11751 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6015-6026 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 980-992 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3199-3211 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3226-3247 |
|
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 3572-3581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21482-21489 |
|
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 11943-11952 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23514-23522 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |