Process
|
|
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 1623-1631 | |
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 6794-6794 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1622-1622 | Processo e' uma sub-classe de Fisico |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2375-2375 | SEO e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2413-2413 | O contra-dominio de AbortedFn e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4515-4515 | Os valores retornados por FailureFn sao as sub-classes de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17885-17885 | Os valores retornados por OperatingFn sao as sub-classes de Processo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1303-1303 | AddToCart e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Media.kif 164-164 | AgentPatientProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30026-30026 | BreakingRecord e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23764-23764 | CausingHappiness e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23785-23785 | CausingUnhappiness e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1457-1457 | Checkout e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1319-1319 | ContentBearingProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1633-1633 | Processo Dual e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10486-10486 | Processo Intencional e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12592-12592 | Mudanca Interna e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7928-7928 | LargeGroupProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11013-11013 | Movimento e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10482-10482 | NaturalProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2063-2063 | PowerGeneration e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1646-1646 | SingleAgentProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1587-1587 | WatchItem e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 851-851 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 904-904 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 527-527 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 58-58 | |
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 | O argumento numero 2 de AbortedFn e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 421-421 | O argumento numero 1 de StartFn e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 435-435 | O argumento numero 1 de StopFn e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Law.kif 545-545 | O argumento numero 3 de ageOfMajorityForProcess e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2433-2433 | O argumento numero 1 de agent e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22912-22912 | O argumento numero 1 de benefits e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3778-3778 | O argumento numero 1 de causes e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3779-3779 | O argumento numero 2 de causes e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15904-15904 | O argumento numero 2 de commentator e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2826-2826 | O argumento numero 2 de conversionEvent e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1696-1696 | O argumento numero 1 de coordinates e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1697-1697 | O argumento numero 2 de coordinates e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2444-2444 | O argumento numero 1 de destination e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16938-16938 | O argumento numero 1 de direction e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4096-4096 | O argumento numero 1 de eventPartlyLocated e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4333-4333 | O argumento numero 2 de exclusiveEvent e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2458-2458 | O argumento numero 1 de experiencer e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3825-3825 | O argumento numero 2 de experimentalControlProcess e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3872-3872 | O argumento numero 2 de experimentalVariableProcess e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4391-4391 | O argumento numero 1 de hinders e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2471-2471 | O argumento numero 1 de instrument e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2414-2414 | O argumento numero 1 de involvedInEvent e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Law.kif 193-193 | O argumento numero 1 de judge e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1732-1732 | O argumento numero 1 de manner e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2482-2482 | O argumento numero 1 de origin e' uma instancia de Processo |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |