Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Evening
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Discovering IntentionalPsychologicalProcess) | Merge.kif 12241-12241 | Discovering is a subclass of intentional psychological process |
| (documentation Discovering EnglishLanguage "Finding something that was sought. Note that this class is restricted to cases of discovering something Physical. For cases involving the acquisition of knowledge, the class Learning should be used.") | Merge.kif 12242-12245 | Discovering is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ)) (exists (?PURSUE) (and (instance ?PURSUE Pursuing) (meetsTemporally (WhenFn ?PURSUE) (WhenFn ?DISCOVER))))) |
Merge.kif 12247-12254 | If X is an instance of discovering and Y is a patient of X, then there exists Z such that Z is an instance of pursuing and the time of existence of Z meets the time of existence of X |
| (=> (and (instance ?DISCOVER Discovering) (agent ?DISCOVER ?A) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (holdsDuring (ImmediateFutureFn (WhenFn ?DISCOVERING)) (knows ?A (located ?OBJ ?PLACE)))) |
Merge.kif 12256-12268 | If X is an instance of discovering, Y is an agent of X, Z is a patient of X, and Z is located at W holds during the time of existence of X, then Y knows Z is located at W holds during immediately after the time of existence of V |
| consequent |
|
|
| (=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR))))) |
Mid-level-ontology.kif 3185-3191 | If X is an instance of radar, then X has the purpose there exists Y such that Y is an instance of discovering and X is an instrument for Y |
| (=> (discovers ?AGENT ?OBJECT) (exists (?DISCOVERING) (and (instance ?DISCOVERING Discovering) (agent ?DISCOVERING ?AGENT) (patient ?DISCOVERING ?OBJECT)))) |
Mid-level-ontology.kif 3203-3209 | If X discovers Y, then there exists Z such that Z is an instance of discovering, X is an agent of Z, and Y is a patient of Z |
| (=> (instance ?SONAR Sonar) (hasPurpose ?SONAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?SONAR))))) |
Mid-level-ontology.kif 3217-3223 | If X is an instance of sonar, then X has the purpose there exists Y such that Y is an instance of discovering and X is an instrument for Y |
| (=> (instance ?D Disappearing) (exists (?OBJ ?AGENT ?SEARCH ?TIME) (and (instance ?SEARCH Searching) (earlier (WhenFn ?D) (WhenFn ?SEARCH)) (agent ?SEARCH ?AGENT) (instance ?OBJ Object) (patient ?D ?OBJ) (patient ?SEARCH ?OBJ) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?SEARCH)) (holdsDuring ?TIME (not (modalAttribute (exists (?DISC) (and (instance ?DISC Discovering) (agent ?DISC ?AGENT) (patient ?DISC ?OBJ))) Possibility)))))) |
Mid-level-ontology.kif 19162-19184 | If X is an instance of disappearing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of searching (3) the time of existence of X happens earlier than the time of existence of W (4) Z is an agent of W (5) Y is an instance of object (6) Y is a patient of X (7) Y is a patient of W (8) V is an instance of timeframe (9) V is a part of the time of existence of W (10) the statement there doesn't exist U such that U is an instance of discovering (11) Z is an agent of U (12) Y is a patient of U doesn't have the modal force of possibility holds during V |
| (=> (instance ?D SmokeDetector) (hasPurpose ?D (exists (?DISCOVER ?SMOKE) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?D) (patient ?DISCOVER ?SMOKE) (instance ?SMOKE Smoke))))) |
Mid-level-ontology.kif 27727-27735 | If X is an instance of smoke detector, then X has the purpose there exist Y, Z such that Y is an instance of discovering, X is an instrument for Y, Z is a patient of Y, and Z is an instance of smoke |
| (=> (instance ?X FireSprinklerSystem) (exists (?FIRE ?DISCOVER ?WM) (and (instance ?DISCOVER Discovering) (instance ?FIRE Fire) (instrument ?DISCOVER ?X) (patient ?DISCOVER ?FIRE) (instance ?WM WaterMotion) (origin ?WM ?X) (causes ?DISCOVER ?WM)))) |
Mid-level-ontology.kif 27769-27779 | If X is an instance of sprinkler system, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of discovering (3) Y is an instance of fire (4) X is an instrument for Z (5) Y is a patient of Z (6) W is an instance of water motion (7) W originates at X (8) Z causes W |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Geography.kif 6008-6038 | If X is an instance of argument, Y is an instance of reasoning, Z is an instance of archeology, X is a sub-proposition of Z, and Y expresses the content of X, then there exist W, V,, , U,, , T,, , S and R such that W is an instance of discovering and U is an instance of object and U is a patient of W and Y includes a reference to W and the time of existence of W happens earlier than the time of existence of Y and the age of U is T year duration(s) and T is greater than 50 and V is a surface of S and S is an instance of body of water and U is below to V or V is a surface of R and R is an instance of land area and U is below to V holds during immediately before the time of existence of W |
| (=> (instance ?W AntiAircraftWarfare) (hasPurpose ?W (exists (?D ?A) (and (instance ?D Discovering) (patient ?D ?A) (instance ?A Aircraft) (attribute ?A Enemy) (hasPurpose ?D (exists (?E) (and (instance ?E Destruction) (patient ?E ?A)))))))) |
Military.kif 368-381 | If X is an instance of anti-aircrraft warfare, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of discovering (3) Z is a patient of Y (4) Z is an instance of aircraft (5) enemy is an attribute of Z (6) Y has the purpose there exists W such that W is an instance of destruction (7) Z is a patient of W |
| (=> (instance ?M MilitaryScreeningTactic) (hasPurpose ?M (exists (?D ?P) (and (instance ?D Discovering) (patient ?D ?P) (instance ?P Proposition) (attribute ?P Enemy))))) |
Military.kif 423-431 | If X is an instance of military screening tactic, then X has the purpose there exist Y, Z such that Y is an instance of discovering, Z is a patient of Y, Z is an instance of proposition, and enemy is an attribute of Z |
| (=> (instance ?R ThreeDRadar) (hasPurpose ?R (exists (?D ?O ?A ?O ?L ?P) (and (instance ?D Discovering) (instrument ?D ?R) (destination ?D ?O) (instance ?O Object) (origin ?L ?O) (instance ?L ReflectingLight) (subProcess ?L ?D) (destination ?L ?P) (part ?P ?R) (agent ?D ?A) (instance ?A Human) (knows ?A (exists (?DIST ?DEG ?HIGH) (and (distance ?O ?P ?DIST) (relativeBearing ?O ?P ?DEG) (altitude ?O ?P ?HIGH)))))))) |
Transportation.kif 5316-5337 | If X is an instance of three D radar, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , Z,, , V (2) U such that Y is an instance of discovering (3) X is an instrument for Y (4) Y ends up at Z (5) Z is an instance of object (6) V originates at Z (7) V is an instance of reflecting light (8) V is a subprocess of Y (9) V ends up at U (10) U is a part of X (11) W is an agent of Y (12) W is an instance of human (13) W knows there exist T, S (14) R such that the distance between Z (15) U is T (16) Z is relative bearing U for S (17) the altitude of Z relative to U is R |
|