Discovering | ![]() |
appearance as argument number 1 |
![]() |
(documentation Discovering ChineseLanguage "这是寻找想要谋取的东西。注:这个类别限用于发现一些 Physical 东西的个案;如果是涉及获取信息的情况,应该使用 Learning 这个类别。") | chinese_format.kif 3112-3113 | |
(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 12094-12097 | |
(subclass Discovering IntentionalPsychologicalProcess) | Merge.kif 12093-12093 | Discovering は 意図的な心理的プロセス の subclass では |
appearance as argument number 2 |
![]() |
(subclass Locating Discovering) | MilitaryProcesses.kif 572-572 | Locating は Discovering の subclass では |
(termFormat ChineseLanguage Discovering "发现") | domainEnglishFormat.kif 19797-19797 | Locating は Discovering の subclass では |
(termFormat ChineseTraditionalLanguage Discovering "發現") | domainEnglishFormat.kif 19796-19796 | Locating は Discovering の subclass では |
(termFormat EnglishLanguage Discovering "discovering") | domainEnglishFormat.kif 19795-19795 | Locating は Discovering の subclass では |
antecedent |
![]() |
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (exists (?LEARN) (and (instance ?LEARN Learning) (subProcess ?LEARN ?DISCOVER) (patient ?LEARN (located ?OBJ ?PLACE))))) |
Merge.kif 12108-12117 | |
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ)) (exists (?PURSUE) (and (instance ?PURSUE Pursuing) (meetsTemporally (WhenFn ?PURSUE) (WhenFn ?DISCOVER))))) |
Merge.kif 12099-12106 |
consequent |
![]() |
(=> (and (instance ?RO RecoveryOperation) (patient ?RO ?TARGET)) (hasPurpose ?RO (exists (?PROCESS) (and (patient ?PROCESS ?TARGET) (instance ?PROCESS (UnionFn Classifying (UnionFn Pursuing (UnionFn Discovering (UnionFn Locating Returning))))))))) |
MilitaryProcesses.kif 558-570 | |
(=> (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))))))) |
Mid-level-ontology.kif 22764-22794 |
|
(=> (discovers ?AGENT ?OBJECT) (exists (?DISCOVERING) (and (instance ?DISCOVERING Discovering) (agent ?DISCOVERING ?AGENT) (patient ?DISCOVERING ?OBJECT)))) |
Mid-level-ontology.kif 3067-3073 |
|
(=> (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 18874-18896 |
|
(=> (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 27088-27096 | |
(=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR))))) |
Mid-level-ontology.kif 3049-3055 | |
(=> (instance ?SONAR Sonar) (hasPurpose ?SONAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?SONAR))))) |
Mid-level-ontology.kif 3081-3087 | |
(=> (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 27130-27140 |
![]() |
![]() |