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 17749-17749 |
The number 2 argument of DepartmentOfPreventingFn is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 410-410 |
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 424-424 |
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 2373-2373 |
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 22335-22335 |
The number 1 argument of benefits is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3697-3697 |
The number 1 argument of causes is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3698-3698 |
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 15329-15329 |
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 2384-2384 |
The number 1 argument of destination is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16657-16657 |
The number 1 argument of direction is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4006-4006 |
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 4537-4537 |
The number 2 argument of exclusive is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2398-2398 |
The number 1 argument of experiencer is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4032-4032 |
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 4079-4079 |
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 4301-4301 |
The number 1 argument of hinders is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2411-2411 |
The number 1 argument of instrument is an instance of process |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2354-2354 |
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 1672-1672 |
The number 1 argument of manner is an instance of process |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |