No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2411-2411 |
The number 2 argument of aborted is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 416-416 |
The number 1 argument of start is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 430-430 |
The number 1 argument of stop is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 593-593 |
The number 3 argument of age of majority for process is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2381-2381 |
The number 1 argument of agent is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22444-22444 |
The number 1 argument of benefits is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3705-3705 |
The number 1 argument of causes is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3706-3706 |
The number 2 argument of causes is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15404-15404 |
The number 2 argument of commentator is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3036-3036 |
The number 2 argument of conversionEvent is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1696-1696 |
The number 1 argument of coordinates is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1697-1697 |
The number 2 argument of coordinates is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2392-2392 |
The number 1 argument of destination is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16685-16685 |
The number 1 argument of direction is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4014-4014 |
The number 1 argument of event partly located is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4539-4539 |
The number 2 argument of exclusive is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2406-2406 |
The number 1 argument of experiencer is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4034-4034 |
The number 2 argument of experimental control (process) is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4081-4081 |
The number 2 argument of experimental variable (process) is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4309-4309 |
The number 1 argument of hinders is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2419-2419 |
The number 1 argument of instrument is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2362-2362 |
The number 1 argument of involved in event is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 236-236 |
The number 1 argument of judge is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1680-1680 |
The number 1 argument of manner is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2430-2430 |
The number 1 argument of origin is an instance of process |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |