| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13021-13021 | Interaction social est une sous-classe de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1414-1414 | Helping est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7920-7920 | Ceremony est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23469-23469 | PlacingUnderArrest est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11663-11663 | Changement de possession est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11886-11886 | ServiceProcess est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13041-13041 | Pr�tendre est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13056-13056 | Communication est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13286-13286 | Coop�ration est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13298-13298 | Rencontrer est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13324-13324 | Affrontement est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3649-3649 | Gaslighting est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2728-2728 | FreshWaterOverutilization est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2805-2805 | Pollution est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2938-2938 | SoilDegradation est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2968-2968 | WaterOverutilization est une sous-classe de interaction social |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6796-6796 | Famine est une sous-classe de interaction social |
|
|