IntentionalProcess(processus intentionnel) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2930-2931 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10510-10511 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1681-1682 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10508-10508 | Processus intentionnel est une sous-classe de processus |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10186-10186 | AutonomicProcess est disjoint de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18234-18234 | Dreaming est disjoint de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11213-11213 | GeologicalProcess est disjoint de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10506-10506 | NaturalProcess est disjoint de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19982-19982 | Trembling est disjoint de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11220-11220 | WeatherProcess est disjoint de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 422-422 | Les valeurs retourn�es par StartFn sont des sous-classes de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | Les valeurs retourn�es par StopFn sont des sous-classes de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11161-11161 | Ambulating est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7919-7919 | Ceremony est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15881-15881 | Commenting est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12693-12693 | D�veloppement de contenu est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13858-13858 | CriminalAction est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 675-675 | DeployingWeaponOfMassDestruction est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10872-10872 | Designing est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18006-18006 | Digging est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 731-731 | DismantlingWeaponOfMassDestruction est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 446-446 | Dodging est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18093-18093 | Drilling est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13117-13117 | Ducking est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1197-1197 | EngineersSubprocess est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2489-2489 | Evacuation est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11629-11629 | Guider est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1310-1310 | ITProcess est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10534-10534 | Processus psycholoqique intentionnel est une sous-classe de processus intentionnel |
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. | Mid-level-ontology.kif 20487-20487 | Le nombre 1 argument de OccupationFn est une instance de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4514-4514 | Le nombre 1 argument de FailureFn est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Law.kif 369-369 | Le nombre 3 argument de distrusts est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7368-7368 | Le nombre 2 argument de enjoys est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21364-21364 | Le nombre 2 argument de hasOccupation est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1643-1643 | Le nombre 2 argument de industryServiceType est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1661-1661 | Le nombre 2 argument de organizationServiceType est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. | Law.kif 358-358 | Le nombre 3 argument de trusts est une sous-classe de processus intentionnel |
antecedent |
consequent |