Discovering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Discovering

Discovering

VerbNet: sight-30.2|observe, sight-30.2|observe, sight-30.2|observe, sight-30.2|observe, sight-30.2|observe, see-30.1|see,

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 11032-11035
(subclass Discovering IntentionalPsychologicalProcess)	Merge.kif 11031-11031	subclass Discovering and IntentionalPsychologicalProcess

appearance as argument number 2

(subclass Locating Discovering)	MilitaryProcesses.kif 572-572	subclass Locating and Discovering
(termFormat ChineseLanguage Discovering "发现")	domainEnglishFormat.kif 19717-19717	termFormat ChineseLanguage, Discovering and "发现"
(termFormat ChineseTraditionalLanguage Discovering "發現")	domainEnglishFormat.kif 19716-19716	termFormat ChineseTraditionalLanguage, Discovering and "發現"
(termFormat EnglishLanguage Discovering "discovering")	domainEnglishFormat.kif 19715-19715	termFormat EnglishLanguage, Discovering and "discovering"

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 11046-11055	instance Process and Discovering patient Process and Entity holdsDuring WhenFn Process and located Entity and entity Process instance Process and Learning subProcess Process and Process patient Process and located Entity and entity
(=> (and (instance ?DISCOVER Discovering) (patient ?DISCOVER ?OBJ)) (exists (?PURSUE) (and (instance ?PURSUE Pursuing) (meetsTemporally (WhenFn ?PURSUE) (WhenFn ?DISCOVER)))))	Merge.kif 11037-11044	instance Process and Discovering patient Process and Entity Physical instance Physical and Pursuing meetsTemporally WhenFn Physical and WhenFn Process

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	instance Process and RecoveryOperation patient Process and Entity hasPurpose Process and entity patient entity and Entity instance entity and UnionFn Classifying and UnionFn Pursuing and UnionFn Discovering and UnionFn Locating and Returning
(=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (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 18838-18867	instance Proposition and Argument instance Process and Reasoning subProposition Proposition and Archeology realization Process and Proposition Process entity, Object and TimeDuration instance Process and Discovering instance Object and Object patient Process and Object refers Process and Process earlier WhenFn Process and WhenFn Process age Object and TimeDuration greaterThan TimeDuration and MeasureFn 50 and YearDuration holdsDuring ImmediatePastFn WhenFn Process and surface entity and entity instance entity and BodyOfWater orientation Object, entity and Below surface entity and entity instance entity and LandArea orientation Object, entity and Below
(=> (discovers ?AGENT ?OBJECT) (exists (?DISCOVERING) (and (instance ?DISCOVERING Discovering) (agent ?DISCOVERING ?AGENT) (patient ?DISCOVERING ?OBJECT))))	Mid-level-ontology.kif 3063-3069	discovers Agent and Object Process instance Process and Discovering agent Process and Agent patient Process and Object
(=> (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 14883-14905	instance Process and Disappearing Entity Agent, Process and TimePosition instance Process and Searching earlier WhenFn Process and WhenFn Process agent Process and Agent instance Entity and Object patient Process and Entity patient Process and Entity instance TimePosition and TimeInterval temporalPart TimePosition and WhenFn Process holdsDuring TimePosition and modalAttribute ProcessISC instance ProcessISC and Discovering agent ProcessISC and Agent patient ProcessISC and Entity and Possibility
(=> (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 23337-23345	instance Physical and SmokeDetector hasPurpose Physical and PhysicalISCOVER entity instance PhysicalISCOVER and Discovering instrument PhysicalISCOVER and Physical patient PhysicalISCOVER and entity instance entity and Smoke
(=> (instance ?RADAR Radar) (hasPurpose ?RADAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?RADAR)))))	Mid-level-ontology.kif 3045-3051	instance Physical and Radar hasPurpose Physical and entity instance entity and Discovering instrument entity and Physical
(=> (instance ?SONAR Sonar) (hasPurpose ?SONAR (exists (?DISCOVER) (and (instance ?DISCOVER Discovering) (instrument ?DISCOVER ?SONAR)))))	Mid-level-ontology.kif 3077-3083	instance Physical and Sonar hasPurpose Physical and entity instance entity and Discovering instrument entity and Physical
(=> (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 23379-23389	instance Object and FireSprinklerSystem Entity Process and Process instance Process and Discovering instance Entity and Fire instrument Process and Object patient Process and Entity instance Process and WaterMotion origin Process and Object causes Process and Process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners