No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23918-23918 |
Barking e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13117-13117 |
Clapping e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2623-2623 |
Echoing e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13742-13742 |
MakingMusic e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 757-757 |
MusicalTone e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 763-763 |
RadiatingSoundUltrasonic e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1348-1348 |
Ringing e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3044-3044 |
Thunder e' uma sub-classe de Som Irradiante |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13761-13761 |
Vocalizing e' uma sub-classe de Som Irradiante |
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 |
|