Process(process) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3801-3801 | The number 1 argument of causes subclass is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3802-3802 | The number 2 argument of causes subclass is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 934-934 | The number 3 argument of disease treatment is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7911-7911 | The number 1 argument of frequency is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3980-3980 | The number 1 argument of has skill is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4392-4392 | The number 2 argument of hinders is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4309-4309 | The number 1 argument of hinders subclass is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4310-4310 | The number 2 argument of hinders subclass is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18367-18367 | The number 2 argument of inhibits is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9934-9934 | The number 3 argument of pathology treatment is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23272-23272 | The number 3 argument of plays role in event of type is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4293-4293 | The number 1 argument of precondition is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4294-4294 | The number 2 argument of precondition is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4368-4368 | The number 2 argument of prevents is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4337-4337 | The number 1 argument of prevents subclass is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4338-4338 | The number 2 argument of prevents subclass is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2784-2784 | The number 2 argument of process inclusion is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22816-22816 | The number 1 argument of typical action is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1442-1442 | The number 1 argument of typical temporal part is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1443-1443 | The number 2 argument of typical temporal part is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1482-1482 | The number 1 argument of typically contains temporal part is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1483-1483 | The number 2 argument of typically contains temporal part is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | Physical is exhaustively partitioned into object and process |