| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3455-3484 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13698-13698 | Son irradiant est une sous-classe de irradier |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1348-1348 | Ringing est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 764-764 | MusicalTone est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 770-770 | RadiatingSoundUltrasonic est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2630-2630 | Echoing est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3051-3051 | Thunder est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13089-13089 | Clapping est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23860-23860 | Barking est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13718-13718 | MakingMusic est une sous-classe de son irradiant |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13737-13737 | Vocalizing est une sous-classe de son irradiant |
|
|