| appearance as argument number 1 |
|
|
| (subclass Radiating Motion) | Merge.kif 13821-13821 | 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 13822-13824 | Radiating is a subclass of motion |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain carrierFrequency 1 Radiating) | ComputingBrands.kif 1548-1548 | The number 1 argument of carrier frequency is an instance of radiating |
| (domain wavelength 1 Radiating) | Mid-level-ontology.kif 585-585 | The number 1 argument of wavelength is an instance of radiating |
| consequent |
|
|
| (=> (instance ?WL WireLine) (hasPurpose ?WL (exists (?R) (and (instance ?R Radiating) (path ?R ?WL))))) |
Mid-level-ontology.kif 4085-4091 | 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 |
|
|
|