No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23861-23861 |
Barking est une sous-classe de son irradiant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13090-13090 |
Clapping 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. |
Merge.kif 13696-13696 |
MakingMusic 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. |
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 3051-3051 |
Thunder est une sous-classe de son irradiant |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13715-13715 |
Vocalizing est une sous-classe de son irradiant |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1224-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1669-1669 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 902-902 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 435-435 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 438-438 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2586-2586 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 854-854 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 474-474 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 923-923 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 439-439 |
|