(=>     (and         (instance ?T ElectricalTransformer)         (instance ?WC1 WireCoil)         (instance ?WC2 WireCoil)         (coilCount ?WC1 ?N1)         (coilCount ?WC2 ?N2)         (holdsDuring ?T             (measure ?WC1                 (MeasureFn Volt ?V1))))     (and         (holdsDuring ?T             (measure ?WC2                 (MeasureFn Volt ?V2)))         (equal ?V2             (MultiplicationFn ?V1                 (DivisionFn ?N2 ?N1)))))	Cars.kif 3155-3169	例 TimePosition and 變壓器 例 WireCoil and WireCoil 例 WireCoil and WireCoil coilCount WireCoil and Integer coilCount WireCoil and Integer 持有期間 TimePosition and 測量 WireCoil and 測量 伏特 and RealNumber 持有期間 TimePosition and 測量 WireCoil and 測量 伏特 and RealNumber equal RealNumber and 乘法 RealNumber and 部 Integer and Integer
(=>     (and         (instance ?T1 ChristianHoliday)         (holdsDuring ?T1             (attribute ?A Christian)))     (observesHoliday ?A ?T1))	Media.kif 269-274	例 假日 and ChristianHoliday 持有期間 假日 and attribute CognitiveAgent and 基督教 CognitiveAgent observes 假日
(=>     (and         (instance ?TIME TimePoint)         (holdsDuring ?TIME             (age ?OBJ ?DURATION)))     (duration         (TimeIntervalFn             (BeginFn                 (WhenFn ?OBJ)) ?TIME) ?DURATION))	Merge.kif 7569-7573	例 TimePoint and TimePoint 持有期間 TimePoint and 年齡 Physical and TimeDuration 持續時間 時間間隔 開始 何時 Physical and TimePoint and TimeDuration
(=>     (and         (instance ?TIME TimePosition)         (holdsDuring ?TIME             (possesses ?AGENT1 ?OBJ))         (holdsDuring ?TIME             (possesses ?AGENT2 ?OBJ)))     (equal ?AGENT1 ?AGENT2))	Merge.kif 4293-4298	例 TimePosition and TimePosition 持有期間 TimePosition and 擁有 entity and entity 持有期間 TimePosition and 擁有 entity and entity equal entity and entity
(=>     (and         (instance ?UNIT SocialUnit)         (holdsDuring ?T1             (and                 (member ?UNIT ?H1)                 (member ?UNIT ?H2))))     (holdsDuring ?T1         (cohabitant ?H1 ?H2)))	Mid-level-ontology.kif 24639-24647	例 Entity and 社會單位 持有期間 TimePosition and 會員 Entity and entity 會員 Entity and entity 持有期間 TimePosition and entity 是 entity 的 cohabitant
(=>     (and         (instance ?WALK Walking)         (instance ?RUN Running)         (agent ?WALK ?AGENT)         (agent ?RUN ?AGENT)         (holdsDuring             (WhenFn ?WALK)             (measure ?AGENT                 (SpeedFn ?LENGTH1 ?TIME)))         (holdsDuring             (WhenFn ?RUN)             (measure ?AGENT                 (SpeedFn ?LENGTH2 ?TIME))))     (greaterThan ?LENGTH2 ?LENGTH1))	Merge.kif 11296-11304	例 Process and Walking 例 Process and 賽跑 agent Process and AutonomousAgent agent Process and AutonomousAgent 持有期間 何時 Process and 測量 AutonomousAgent and 速度 RealNumber and entity 持有期間 何時 Process and 測量 AutonomousAgent and 速度 RealNumber and entity 比較多 RealNumber and RealNumber
(=>     (and         (instance ?X Outfit)         (member ?ITEM1 ?X)         (holdsDuring ?TIME             (wears ?PERSON ?ITEM1)))     (forall (?ITEM2)         (=>             (member ?ITEM2 ?X)             (holdsDuring ?TIME                 (wears ?PERSON ?ITEM2)))))	Dining.kif 469-479	例 Collection and Outfit 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
(=>     (and         (instance ?Y NitricOxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7520-7526	例 Entity and NitricOxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
(=>     (and         (instance ?Y NitrogenDioxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7545-7551	例 Entity and NitrogenDioxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
(=>     (and         (instance ?Y SulphurDioxide)         (holdsDuring ?T             (property ?Y StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (attribute ?Y Gas)))	Geography.kif 7485-7491	例 Entity and SulphurDioxide 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and attribute Entity and 加油站
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA LowIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (lessThan ?AMOUNT 756.0))))	Economy.kif 440-447	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 低收入國家 是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是 對於 TimeInterval 在週期 測量 RealNumber and 美國美元 的 per 人頭 GDP 少於 RealNumber and 756.0
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA LowerMiddleIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (greaterThanOrEqualTo ?AMOUNT 756.0))))	Economy.kif 456-463	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家 是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是 對於 TimeInterval 在週期 測量 RealNumber and 美國美元 的 per 人頭 GDP 大於或等於 RealNumber and 756.0
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA LowerMiddleIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (lessThan ?AMOUNT 2996.0))))	Economy.kif 465-472	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家 是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是 對於 TimeInterval 在週期 測量 RealNumber and 美國美元 的 per 人頭 GDP 少於 RealNumber and 2996.0
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA UpperMiddleIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (greaterThanOrEqualTo ?AMOUNT 2996.0))))	Economy.kif 481-488	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中上收入國家 是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是 對於 TimeInterval 在週期 測量 RealNumber and 美國美元 的 per 人頭 GDP 大於或等於 RealNumber and 2996.0
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA UpperMiddleIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (lessThan ?AMOUNT 9267.0))))	Economy.kif 490-497	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中上收入國家 是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是 對於 TimeInterval 在週期 測量 RealNumber and 美國美元 的 per 人頭 GDP 少於 RealNumber and 9267.0
(=>     (and         (muscleInsertion ?MC ?BPC)         (instance ?H Human)         (holdsDuring ?T             (attribute ?H StandardAnatomicalPosition))         (attribute ?H Healthy)         (instance ?C MuscularContraction)         (during             (WhenFn ?C) ?T)         (instance ?M ?MC)         (part ?M ?H)         (instrument ?C ?M)         (physicalEnd ?E ?M)         (meetsSpatially ?E ?BP)         (holdsDuring             (BeginFn ?C)             (located ?E ?L)))     (holdsDuring         (EndFn ?C)         (not             (located ?E ?L))))	Anatomy.kif 1793-1815	muscleInsertion Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間 何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間 開始 TimeInterval and 位於 Object and entity 持有期間 結束 TimeInterval and 位於 Object and entity
(=>     (and         (muscleOrigin ?MC ?BPC)         (instance ?H Human)         (holdsDuring ?T             (attribute ?H StandardAnatomicalPosition))         (attribute ?H Healthy)         (instance ?C MuscularContraction)         (during             (WhenFn ?C) ?T)         (instance ?M ?MC)         (part ?M ?H)         (instrument ?C ?M)         (physicalEnd ?E ?M)         (meetsSpatially ?E ?BP)         (holdsDuring             (BeginFn ?C)             (located ?E ?L)))     (holdsDuring         (EndFn ?C)         (located ?E ?L)))	Anatomy.kif 1743-1764	muscleOrigin Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間 何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間 開始 TimeInterval and 位於 Object and entity 持有期間 結束 TimeInterval and 位於 Object and entity
(=>     (and         (not             (holdsDuring ?T1                 (attribute ?H Concussion)))         (holdsDuring ?T2             (attribute ?H Concussion))         (meetsTemporally ?T1 ?T2))     (modalAttribute         (holdsDuring             (BeginFn ?T2)             (attribute ?H Unconscious)) Likely))	Medicine.kif 1306-1318	持有期間 TimeInterval and attribute entity and Concussion 持有期間 TimeInterval and attribute entity and Concussion 短暫相遇 TimeInterval and TimeInterval 模態屬性 持有期間 開始 TimeInterval and attribute entity and Unconscious and 容易
(=>     (and         (not             (instance ?A AutonomousAgent))         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P Motion)                 (patient ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 32173-32184	例 Entity and AutonomousAgent 持有期間 TimeInterval and attribute Entity and Motionless Process 例 Process and Motion 患者 Process and Entity 期間 何時 Process and TimeInterval
(=>     (and         (or             (instance ?ROLE OccupationalTrade)             (instance ?ROLE Profession))         (holdsDuring ?T1             (attribute ?HUMAN ?ROLE)))     (exists (?FIELD)         (and             (subclass ?FIELD FieldOfStudy)             (holdsDuring ?T1                 (hasExpertise ?HUMAN ?FIELD)))))	Mid-level-ontology.kif 9499-9508	例 Entity and 職業貿易 例 Entity and 職業 持有期間 TimePosition and attribute entity and Entity Class 子類 Class and FieldOfStudy 持有期間 TimePosition and Class 有 在 entity 的專業知識
(=>     (and         (parent ?CHILD ?PARENT1)         (parent ?CHILD ?PARENT2)         (holdsDuring ?T1             (and                 (spouse ?PARENT1 ?PARENT2)                 (cohabitant ?PARENT1 ?PARENT2)                 (cohabitant ?CHILD ?PARENT1))))     (exists (?FAM)         (and             (instance ?FAM NuclearFamily)             (holdsDuring ?T1                 (and                     (member ?CHILD ?FAM)                     (member ?PARENT1 ?FAM)                     (member ?PARENT2 ?FAM))))))	Mid-level-ontology.kif 24827-24843	親 Organism and Organism 親 Organism and Organism 持有期間 TimePosition and Organism 是 Organism 的 spouse Organism 是 Organism 的 cohabitant Organism 是 Organism 的 cohabitant Entity 例 Entity and 核心家庭 持有期間 TimePosition and 會員 Organism and Entity 會員 Organism and Entity 會員 Organism and Entity
(=>     (and         (partyToAgreement ?A1 ?AG)         (instance ?PROC IntentionalProcess)         (located ?PROC ?LOC)         (instance ?LOC Nation)         (located ?PROC ?LOC2)         (instance ?LOC2 GeopoliticalArea)         (ageOfMajorityForProcess             (MeasureFn ?N2 YearDuration) ?LOC ?PROC)         (result ?PROC ?DOC)         (recordForAgreement ?DOC ?AG)         (holdsDuring             (WhenFn ?PROC)             (and                 (age ?A1                     (MeasureFn ?N3 YearDuration))                 (greaterThan ?N3 ?N2))))     (attribute ?AG Legal))	Law.kif 560-577	協議 是 CognitiveAgent 的 party 協議 例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理 內容承載物理 是 協議 的 record 持有期間 何時 Process and 年齡 CognitiveAgent and 測量 entity and 年持續時間 比較多 entity and RealNumber attribute 協議 and 合法
(=>     (and         (possesses ?BUS ?PARK)         (instance ?BUS CommercialAgent)         (instance ?PARK ParkingLot)         (instance ?BLDG Building)         (located ?BUS ?BLDG)         (customer ?BUS ?CUST)         (holdsDuring ?T             (located ?CUST ?BLDG))         (instance ?DRIVE Driving)         (patient ?DRIVE ?VEHICLE)         (agent ?DRIVE ?CUST)         (destination ?DRIVE ?BLDG))     (holdsDuring ?T         (confersRight             (and                 (instance ?PUT Keeping)                 (destination ?PUT ?PARK)                 (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	TransportDetail.kif 106-125	擁有 CognitiveAgent and Object 例 CognitiveAgent and 商業代理人 例 Object and 停車場 例 Object and Building 位於 CognitiveAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 持有期間 TimePosition and 位於 AutonomousAgent and Object 例 Process and Driving 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Object 持有期間 TimePosition and 賦予權利 例 entity and Keeping 目的地 entity and Object 患者 entity and Entity, CognitiveAgent and AutonomousAgent
(=>     (and         (resource ?PROC ?OBJ)         (holdsDuring             (BeginFn                 (WhenFn ?PROC))             (measure ?OBJ ?QUANT1))         (holdsDuring             (EndFn                 (WhenFn ?PROC))             (measure ?OBJ ?QUANT2)))     (greaterThan ?QUANT1 ?QUANT2))	Merge.kif 8110-8115	資源 Process and Object 持有期間 開始 何時 Process and 測量 Object and RealNumber 持有期間 結束 何時 Process and 測量 Object and RealNumber 比較多 RealNumber and RealNumber
(=>     (and         (resourceConsumption ?PROC ?QUANT)         (instance ?QUANT ConstantQuantity)         (resource ?PROC ?RES)         (holdsDuring             (BeginFn                 (WhenFn ?PROC))             (measure ?RES                 (MeasureFn ?X ?U)))         (holdsDuring             (EndFn                 (WhenFn ?PROC))             (measure ?RES                 (MeasureFn ?Y ?U))))     (equal ?QUANT         (MeasureFn             (SubtractionFn ?X ?Y) ?U)))	Mid-level-ontology.kif 18692-18708	resourceConsumption Process and PhysicalQuantity 例 PhysicalQuantity and ConstantQuantity 資源 Process and Object 持有期間 開始 何時 Process and 測量 Object and 測量 RealNumber and UnitOfMeasure 持有期間 結束 何時 Process and 測量 Object and 測量 RealNumber and UnitOfMeasure equal PhysicalQuantity and 測量 減法 RealNumber and RealNumber and UnitOfMeasure
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners