Process(process) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2495-2495 | The number 1 argument of patient is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23239-23239 | The number 3 argument of plays role in event is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4367-4367 | The number 1 argument of prevents is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4597-4597 | The number 1 argument of realization is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3768-3768 | The number 1 argument of related event is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3769-3769 | The number 2 argument of related event is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2511-2511 | The number 1 argument of resource is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2530-2530 | The number 1 argument of resource exhausted is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2551-2551 | The number 1 argument of result is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1682-1682 | The number 1 argument of result type is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3752-3752 | The number 1 argument of sub process is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3753-3753 | The number 2 argument of sub process is an instance of process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4386-4386 | The number 2 argument of exclusive is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29580-29580 | The number 1 argument of suffers is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6790-6790 | The number 1 argument of target in attack is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18395-18395 | The number 2 argument of Department of preventing fn is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 400-400 | The number 1 argument of InjuryCausedFn is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6321-6321 | The number 1 argument of measuring a process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 597-597 | The number 2 argument of activity capability is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22929-22929 | The number 2 argument of area of responsibility is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 915-915 | The number 3 argument of biochemical agent antidote is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 783-783 | The number 2 argument of biochemical agent delivery is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3902-3902 | The number 1 argument of capability is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 917-917 | The number 1 argument of capable during is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2687-2687 | The number 1 argument of capable at location is a subclass of process |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |