![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1698-1701 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1633-1641 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 296-301 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6793-6793 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1632-1632 | Process is a subclass of physical |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2375-2375 | Search engine optimization is an instance of process |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2413-2413 | The range of aborted is an instance of process |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4510-4510 | The values returned by failure fn are subclasses of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19456-19456 | The values returned by operating are subclasses of process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1303-1303 | Add to cart is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Media.kif 164-164 | Agent patient process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31918-31918 | Breaking record is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25410-25410 | Causing happiness is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25431-25431 | Causing unhappiness is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1457-1457 | Checkout is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1329-1329 | Content bearing process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1643-1643 | Dual object process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10624-10624 | Intentional process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12746-12746 | Internal change is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9095-9095 | Large group process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11151-11151 | Motion is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10620-10620 | Natural process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2303-2303 | Power generation is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1656-1656 | Single agent process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1587-1587 | Watch item is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 851-851 | Watch item is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 904-904 | Watch item is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 527-527 | Watch item is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 58-58 | Watch item is a subclass of process |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
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 414-414 | 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 428-428 | The number 1 argument of stop is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Law.kif 551-551 | 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 2444-2444 | 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 24553-24553 | The number 1 argument of benefits is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3793-3793 | The number 1 argument of causes is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3794-3794 | 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 17291-17291 | The number 2 argument of commentator is an instance of process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2826-2826 | 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 2455-2455 | The number 1 argument of destination is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17113-17113 | The number 1 argument of direction is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4139-4139 | The number 1 argument of event located is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4115-4115 | 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 4333-4333 | The number 2 argument of exclusive is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2469-2469 | The number 1 argument of experiencer is an instance of process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3825-3825 | 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 3872-3872 | 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 4417-4417 | The number 1 argument of hinders is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2482-2482 | The number 1 argument of instrument is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2425-2425 | 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 193-193 | The number 1 argument of judge is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1742-1742 | 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 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |