RadiatingLight(lumi�re irradiante) | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3328-3329 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13673-13675 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13672-13672 | Lumi�re irradiante est une sous-classe de RadiatingElectromagnetic |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 596-596 | RadiatingInfrared est disjoint de lumi�re irradiante |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 603-603 | RadiatingUltraviolet est disjoint de lumi�re irradiante |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 637-637 | FlashingLight est une sous-classe de lumi�re irradiante |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 619-619 | RadiatingVisibleLight est une sous-classe de lumi�re irradiante |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 580-580 | ReflectingLight est une sous-classe de lumi�re irradiante |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 633-633 | Sunlight est une sous-classe de lumi�re irradiante |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1223-1223 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1667-1667 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 901-901 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 434-434 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 437-437 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2585-2585 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 853-853 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 473-473 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 922-922 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 438-438 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13677-13682 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 624-631 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 643-661 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1589-1597 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1192-1202 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1156-1166 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1257-1267 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26961-26987 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15151-15163 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13684-13690 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12598-12605 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5095-5097 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3018-3020 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14454-14469 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1387-1407 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1275-1301 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26217-26231 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26255-26263 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25876-25891 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14432-14438 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1506-1519 |
|
![]() |
![]() |