Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Discovering(discovering) |  | detect, discover, exploration, find, follow, geographic_expedition, instantiate, notice, observe, see, sense, trace |
| appearance as argument number 1 |
|
|
| s__subclass(s__Discovering,s__IntentionalPsychologicalProcess)
|
Merge.kif 12241-12241 | Discovering is a subclass of intentional psychological process |
| s__documentation(s__Discovering, s__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 |
|
|
| ! [V__DISCOVER,V__OBJ] : (((s__instance(V__DISCOVER,s__Discovering) & s__patient(V__DISCOVER,V__OBJ)) => (? [V__PURSUE] : ((s__instance(V__PURSUE,s__Pursuing) & s__meetsTemporally(s__WhenFn(V__PURSUE) ,s__WhenFn(V__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 |
| ! [V__A : $i,V__DISCOVER : $i,V__DISCOVERING : $i,V__OBJ : $i,V__PLACE : $i] : (((s__instance(V__DISCOVER, s__Discovering) & s__agent(V__DISCOVER, V__A) & s__patient(V__DISCOVER, V__OBJ) & s__holdsDuring(s__WhenFn(V__DISCOVER), s__located(V__OBJ, V__PLACE))) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DISCOVERING)), s__knows(V__A, s__located(V__OBJ, V__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 |
|
|
| ! [V__RADAR : $i] : ((s__instance(V__RADAR, s__Radar) => s__hasPurpose(V__RADAR, ( ? [V__DISCOVER:$i] : ((s__instance(V__DISCOVER, s__Discovering) & s__instrument(V__DISCOVER, V__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 |
| ! [V__AGENT,V__OBJECT] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__OBJECT,s__Object)) => (s__discovers(V__AGENT,V__OBJECT) => (? [V__DISCOVERING] : ((s__instance(V__DISCOVERING,s__Discovering) & s__agent(V__DISCOVERING,V__AGENT) & s__patient(V__DISCOVERING,V__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 |
| ! [V__SONAR : $i] : ((s__instance(V__SONAR, s__Sonar) => s__hasPurpose(V__SONAR, ( ? [V__DISCOVER:$i] : ((s__instance(V__DISCOVER, s__Discovering) & s__instrument(V__DISCOVER, V__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 |
| ! [V__D : $i] : ((s__instance(V__D, s__Disappearing) => ( ? [V__OBJ:$i, V__AGENT:$i, V__SEARCH:$i, V__TIME:$i] : ((s__instance(V__SEARCH, s__Searching) & s__earlier(s__WhenFn(V__D), s__WhenFn(V__SEARCH)) & s__agent(V__SEARCH, V__AGENT) & s__instance(V__OBJ, s__Object) & s__patient(V__D, V__OBJ) & s__patient(V__SEARCH, V__OBJ) & s__instance(V__TIME, s__TimeInterval) & s__temporalPart(V__TIME, s__WhenFn(V__SEARCH)) & s__holdsDuring(V__TIME, ~(s__modalAttribute(( ? [V__DISC:$i] : ((s__instance(V__DISC, s__Discovering) & s__agent(V__DISC, V__AGENT) & s__patient(V__DISC, V__OBJ)))), s__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 |
| ! [V__D : $i] : ((s__instance(V__D, s__SmokeDetector) => s__hasPurpose(V__D, ( ? [V__DISCOVER:$i, V__SMOKE:$i] : ((s__instance(V__DISCOVER, s__Discovering) & s__instrument(V__DISCOVER, V__D) & s__patient(V__DISCOVER, V__SMOKE) & s__instance(V__SMOKE, s__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 |
| ! [V__X] : ((s__instance(V__X,s__FireSprinklerSystem) => (? [V__FIRE,V__DISCOVER,V__WM] : ((s__instance(V__DISCOVER,s__Discovering) & s__instance(V__FIRE,s__Fire) & s__instrument(V__DISCOVER,V__X) & s__patient(V__DISCOVER,V__FIRE) & s__instance(V__WM,s__WaterMotion) & s__origin(V__WM,V__X) & s__causes(V__DISCOVER,V__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 |
| ! [V__A : $i,V__R : $i,V__X : $i] : (((s__instance(V__X, s__Argument) & s__instance(V__R, s__Reasoning) & s__instance(V__A, s__Archeology) & s__subProposition(V__X, V__A) & s__realization(V__R, V__X)) => ( ? [V__D:$i, V__S:$i, V__O:$i, V__T:$real, V__W:$i, V__L:$i] : ((s__instance(V__D, s__Discovering) & s__instance(V__O, s__Object) & s__patient(V__D, V__O) & s__refers(V__R, V__D) & s__earlier(s__WhenFn(V__D), s__WhenFn(V__R)) & s__age(V__O, s__MeasureFn(V__T, s__YearDuration)) & ($greater(V__T,50)) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__D)), ((s__surface(V__S, V__W) & s__instance(V__W, s__BodyOfWater) & s__orientation(V__O, V__S, s__Below)) | (s__surface(V__S, V__L) & s__instance(V__L, s__LandArea) & s__orientation(V__O, V__S, 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 |
| ! [V__W : $i] : ((s__instance(V__W, s__AntiAircraftWarfare) => s__hasPurpose(V__W, ( ? [V__D:$i, V__A:$i] : ((s__instance(V__D, s__Discovering) & s__patient(V__D, V__A) & s__instance(V__A, s__Aircraft) & s__attribute(V__A, s__Enemy) & s__hasPurpose(V__D, ( ? [V__E:$i] : ((s__instance(V__E, s__Destruction) & s__patient(V__E, V__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 |
| ! [V__M : $i] : ((s__instance(V__M, s__MilitaryScreeningTactic) => s__hasPurpose(V__M, ( ? [V__D:$i, V__P:$i] : ((s__instance(V__D, s__Discovering) & s__patient(V__D, V__P) & s__instance(V__P, s__Proposition) & s__attribute(V__P, s__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 |
| ! [V__R : $i] : ((s__instance(V__R, s__ThreeDRadar) => s__hasPurpose(V__R, ( ? [V__D:$i, V__O:$i, V__A:$i, V__O:$i, V__L:$i, V__P:$i] : ((s__instance(V__D, s__Discovering) & s__instrument(V__D, V__R) & s__destination(V__D, V__O) & s__instance(V__O, s__Object) & s__origin(V__L, V__O) & s__instance(V__L, s__ReflectingLight) & s__subProcess(V__L, V__D) & s__destination(V__L, V__P) & s__part(V__P, V__R) & s__agent(V__D, V__A) & s__instance(V__A, s__Human) & s__knows(V__A, ( ? [V__DIST:$i, V__DEG:$i, V__HIGH:$i] : ((s__distance(V__O, V__P, V__DIST) & s__relativeBearing(V__O, V__P, V__DEG) & s__altitude(V__O, V__P, V__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 |
|