Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Radiating Motion) | Merge.kif 13955-13955 | Radiating is a subclass of motion |
| (documentation Radiating EnglishLanguage "Processes in which some form of electromagnetic radiation, e.g. radio waves, light waves, electrical energy, etc., is given off or absorbed by something else.") | Merge.kif 13956-13958 | Radiating is a subclass of motion |
| appearance as argument number 2 |
|
|
| (subclass RadiatingSound Radiating) | Merge.kif 13986-13986 | Radiating sound is a subclass of radiating |
| (subclass RadiatingElectromagnetic Radiating) | Merge.kif 14053-14053 | Radiating electromagnetic is a subclass of radiating |
| (subclass RadiatingNuclear Radiating) | Merge.kif 14058-14058 | Radiating nuclear is a subclass of radiating |
| (subclass Explosion Radiating) | Merge.kif 16301-16301 | Explosion is a subclass of radiating |
| (subclass Reflecting Radiating) | Mid-level-ontology.kif 557-557 | Reflecting is a subclass of radiating |
| (subclass RadiatingInfrared Radiating) | Mid-level-ontology.kif 578-578 | Radiating infrared is a subclass of radiating |
| (subclass Lightning Radiating) | Weather.kif 1394-1394 | Lightning is a subclass of radiating |
| (termFormat EnglishLanguage Radiating "radiating") | english_format.kif 1669-1669 | Lightning is a subclass of radiating |
| appearance as argument number 3 |
|
|
| (domain wavelength 1 Radiating) | Mid-level-ontology.kif 572-572 | The number 1 argument of wavelength is an instance of radiating |
| (domain carrierFrequency 1 Radiating) | ComputingBrands.kif 1548-1548 | The number 1 argument of carrier frequency is an instance of radiating |
| consequent |
|
|
| (=> (instance ?WL WireLine) (hasPurpose ?WL (exists (?R) (and (instance ?R Radiating) (path ?R ?WL))))) |
Mid-level-ontology.kif 4271-4277 | If X is an instance of wire line, then X has the purpose there exists Y such that Y is an instance of radiating and X is path along which Y occurs |
| (=> (instance ?M BeamRidingGMissile) (hasPurpose ?M (exists (?DAMAGE ?OBJ ?RADIATION ?INST) (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?RADIATION Radiating) (instrument ?RADIATION ?INST) (or (instance ?INST Radar) (instance ?INST LightFixture)) (patient ?RADIATION ?OBJ))))) |
MilitaryDevices.kif 1265-1278 | If X is an instance of beam ridingG missile, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X is an instrument for Y (4) Z is a patient of Y (5) W is an instance of radiating (6) V is an instrument for W (7) V is an instance of radar or V is an instance of light fixture (8) Z is a patient of W |
|
