No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2412-2412 |
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 592-592 |
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 2410-2410 |
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 22862-22862 |
The number 1 argument of benefits is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3755-3755 |
The number 1 argument of causes is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3756-3756 |
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 15751-15751 |
The number 2 argument of commentator is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3032-3032 |
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 2421-2421 |
The number 1 argument of destination is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16789-16789 |
The number 1 argument of direction is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4073-4073 |
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 2435-2435 |
The number 1 argument of experiencer is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4031-4031 |
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 4078-4078 |
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 4368-4368 |
The number 1 argument of hinders is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2448-2448 |
The number 1 argument of instrument is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2391-2391 |
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 1709-1709 |
The number 1 argument of manner is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2459-2459 |
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 |