RadiatingLight
|
|
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 13651-13653 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13650-13650 | 子類 RadiatingLight and 輻射電磁 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 596-596 | 不相交的 輻射紅外線 and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 603-603 | 不相交的 輻射紫外線 and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 637-637 | 子類 FlashingLight and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 619-619 | 子類 輻射可見光 and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 580-580 | 子類 反射光 and RadiatingLight |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 633-633 | 子類 陽光 and RadiatingLight |
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 13655-13660 | |
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 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15152-15164 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13662-13668 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12576-12583 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5087-5089 | |
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 14455-14470 | |
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 26229-26243 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26267-26275 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25888-25903 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14433-14439 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1506-1519 |