(<=>     (stringLength ?INT ?STRING)     (equal ?INT         (StringLengthFn ?STRING)))	Mid-level-ontology.kif 26130-26132	SymbolicString 是 NonnegativeInteger characters long 等於 NonnegativeInteger and SymbolicString 的 length
(=>     (<=>         (element ?ELEMENT ?SET1)         (element ?ELEMENT ?SET2))     (equal ?SET1 ?SET2))	Merge.kif 5431-5435	元件 Entity and Set 元件 Entity and Set 等於 Set and Set
(=>     (and         (amount ?S ?CO             (MeasureFn ?N ?U))         (instance ?SI ?S)         (measure ?SI             (MeasureFn ?N2 ?U))         (part ?SI ?CO))     (exists (?L)         (and             (inList                 (MeasureFn ?N2 ?U) ?L)             (equal ?L                 (AmountsFn ?S ?CO ?U))             (equal ?N                 (ListSumFn ?L)))))	Merge.kif 7632-7647	amount Substance, CorpuscularObject and 測量 RealNumber and UnitOfMass 例 SubstanceI and Substance 測量 SubstanceI and 測量 RealNumber and UnitOfMass 部分 SubstanceI and CorpuscularObject List 在列表中 測量 RealNumber and UnitOfMass and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 等於 RealNumber and ListSumFn List
(=>     (and         (applicableRelation ?O ?R)         (instance ?O ?OC)         (domain ?R 1 ?DC))     (or         (equal ?OC ?DC)         (subclass ?OC ?DC)))	Mid-level-ontology.kif 33334-33341	applicableRelation Object and Relation 例 Object and ObjectC 域 Relation, 1 and Class 等於 ObjectC and Class 子類 ObjectC and Class
(=>     (and         (approximateDiameter ?O             (MeasureFn ?L ?LM))         (sphereRadius ?S             (MeasureFn                 (DivisionFn ?L 2.0) ?LM))         (measure ?S             (MeasureFn ?V1 ?VM))         (measure ?O             (MeasureFn ?V2 ?VM))         (instance ?LM UnitOfLength)         (instance ?VM UnitOfVolume))     (equal ?V1 ?V2))	Mid-level-ontology.kif 19519-19530	SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and RealNumberM Object 的 radius 是 測量 部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
(=>     (and         (arcLength ?A ?L)         (equal ?A CircularArc))     (exists (?P ?P2)         (and             (pointOfFigure ?P ?A)             (pointOfFigure ?P2 ?A)             (not                 (equal ?P ?P2))             (geometricDistance ?P ?P2 ?L))))	Mid-level-ontology.kif 5684-5694	arcLength CircularArc and LengthMeasure 等於 CircularArc and CircularArc 幾何點 幾何點2 點圖 幾何點 and CircularArc 點圖 幾何點2 and CircularArc 等於 幾何點 and 幾何點2 幾何點 是 對於 LengthMeasure 的 geometric 距離 幾何點2
(=>     (and         (arcLength ?SEMI             (MeasureFn ?L ?U))         (equal ?SEMI SemicircularArc))     (exists (?CIR ?C)         (and             (equal ?CIR Circle)             (geometricPart ?SEMI ?CIR)             (circumference ?CIR                 (MeasureFn ?C ?U))             (equal ?C                 (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5700-5710	arcLength CircularArc and 測量 RealNumber and UnitOfMeasure 等於 CircularArc and SemicircularArc 圈 RealNumber 等於 圈 and 圈 圈 是 CircularArc 的 geometric 部分 circumference 圈 and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 加成 RealNumber and RealNumber
(=>     (and         (attribute ?A AppraisalAsJustTreatment)         (instance ?AJT AppraisalProcess)         (agent ?AJT ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AJT ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (wants ?A ?P))))	emotion.kif 374-387	attribute CognitiveAgent and AppraisalAsJustTreatment 例 CognitiveAgentJT and AppraisalProcess agent CognitiveAgentJT and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentJT and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
(=>     (and         (attribute ?A AppraisalAsUnjustTreatment)         (instance ?AUJ AppraisalProcess)         (agent ?AUJ ?A))     (exists (?P ?A2)         (and             (instance ?P Process)             (refers ?AUJ ?P)             (agent ?P ?A2)             (not                 (equal ?A ?A2))             (patient ?P ?A)             (not                 (wants ?A ?P)))))	emotion.kif 349-363	attribute CognitiveAgent and AppraisalAsUnjustTreatment 例 CognitiveAgentUJ and AppraisalProcess agent CognitiveAgentUJ and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentUJ and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
(=>     (and         (attribute ?C Collectible)         (hasPurpose ?C ?P))     (exists (?H ?P2)         (and             (instance ?H Human)             (wants ?H ?C)             (desires ?H ?P2)             (entails ?P2                 (possesses ?H ?C))             (not                 (equal ?P ?P2)))))	Mid-level-ontology.kif 31428-31440	attribute Object and Collectible 有目的 Object and Formula CognitiveAgent Formula 例 CognitiveAgent and Human 想要 CognitiveAgent and Object 慾望 CognitiveAgent and Formula 意味 Formula and 擁有 CognitiveAgent and Object 等於 Formula and Formula
(=>     (and         (attribute ?G ?H)         (instance ?G Substance)         (instance ?H HazardousMaterialTransportAttribute)         (not             (attribute ?G HazardousExplosives))         (not             (attribute ?G HazardousGases))         (not             (attribute ?G FlammableLiquid))         (not             (attribute ?G FlammableSolid))         (not             (attribute ?G OxidizingSubstance))         (not             (attribute ?G ToxicandInfectiousSubstance))         (not             (attribute ?G RadioactiveSubstance))         (not             (attribute ?G CorrosiveSubstance)))     (equal ?H HazardousMiscellaneous))	Transportation.kif 4328-4341	attribute Object and Attribute 例 Object and Substance 例 Attribute and HazardousMaterialTransportAttribute attribute Object and HazardousExplosives attribute Object and HazardousGases attribute Object and FlammableLiquid attribute Object and FlammableSolid attribute Object and OxidizingSubstance attribute Object and ToxicandInfectiousSubstance attribute Object and RadioactiveSubstance attribute Object and CorrosiveSubstance 等於 Attribute and HazardousMiscellaneous
(=>     (and         (attribute ?M MashupRecording)         (instance ?M Recording))     (exists (?M1 ?M2 ?S1 ?S2)         (and             (musicInterpretation ?M1 ?S1)             (musicInterpretation ?M2 ?S2)             (not                 (equal ?S1 ?S2))             (part ?M1 ?M)             (part ?M2 ?M))))	Music.kif 428-438	attribute Object and MashupRecording 例 Object and Recording Object Object, Music and Music Object 是 Music 的 recording Object 是 Music 的 recording 等於 Music and Music 部分 Object and Object 部分 Object and Object
(=>     (and         (attribute ?M RemixRecording)         (instance ?M MusicRecording))     (exists (?O ?A)         (equal ?M             (RemixFn ?O ?A))))	Music.kif 446-451	attribute 音樂錄音 and RemixRecording 例 音樂錄音 and 音樂錄音 音樂錄音 CognitiveAgent 等於 音樂錄音 and 音樂錄音 的 remix 由 CognitiveAgent
(=>     (and         (attribute ?MR CoverRecording)         (instance ?MR MusicRecording)         (songArtist ?MR ?A)         (musicInterpretation ?MR ?M)         (record ?MR ?MM))     (exists (?ORIG ?ARTIST ?MUSIC)         (and             (musicInterpretation ?ORIG ?M)             (songArtist ?ORIG ?ARTIST)             (not                 (equal ?A ?ARTIST))             (record ?ORIG ?MUSIC)             (before                 (WhenFn ?MUSIC)                 (WhenFn ?MM)))))	Music.kif 459-472	attribute 音樂錄音 and CoverRecording 例 音樂錄音 and 音樂錄音 CognitiveAgent 是 performer 在 音樂錄音 音樂錄音 是 Music 的 recording 音樂錄音 是個 MusicM 的 record 音樂錄音 CognitiveAgentRTIST and MusicUSIC 音樂錄音 是 Music 的 recording CognitiveAgentRTIST 是 performer 在 音樂錄音 等於 CognitiveAgent and CognitiveAgentRTIST 音樂錄音 是個 MusicUSIC 的 record 之前 何時 MusicUSIC and 何時 MusicM
(=>     (and         (attribute ?ORG UnicameralLegislature)         (legislativeBranch ?ORG ?AREA)         (instance ?CHAMBER1 LegislativeChamber)         (subOrganization ?CHAMBER1             (GovernmentFn ?AREA))         (instance ?CHAMBER2 LegislativeChamber)         (subOrganization ?CHAMBER2             (GovernmentFn ?AREA)))     (equal ?CHAMBER1 ?CHAMBER2))	Government.kif 1939-1947	attribute Organization and 一院制立法機關 GeopoliticalArea 是 Organization 的 legislative 分支 例 Organization and 立法院 子組織 Organization and 政府 GeopoliticalArea 例 Organization and 立法院 子組織 Organization and 政府 GeopoliticalArea 等於 Organization and Organization
(=>     (and         (attribute ?Order FOKOrder)         (agreementPeriod ?Order ?Period))     (or         (exists (?Fill ?Time1)             (and                 (instance ?Fill FillingAnOrder)                 (patient ?Fill ?Order)                 (equal                     (WhenFn ?Fill) ?Time1)                 (starts ?Time1 ?Period)))         (exists (?Kill ?Time2)             (and                 (instance ?Kill CancellingAnOrder)                 (patient ?Kill ?Order)                 (equal                     (WhenFn ?Kill) ?Time2)                 (starts ?Time2 ?Period)))))	FinancialOntology.kif 2898-2914	attribute 協議 and FOK訂單 TimeInterval 是 協議 的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單 患者 Process and 協議 等於 何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單 患者 Process and 協議 等於 何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval
(=>     (and         (attribute ?Order GTCOrder)         (agreementPeriod ?Order ?Period))     (or         (exists (?Execute ?Time)             (and                 (instance ?Execute FillingAnOrder)                 (patient ?Execute ?Order)                 (equal                     (WhenFn ?Execute) ?Time)                 (overlapsTemporally ?Time ?Period)))         (exists (?Cancel ?End)             (and                 (instance ?Cancel CancellingAnOrder)                 (patient ?Cancel ?Order)                 (equal                     (WhenFn ?Cancel) ?End)                 (finishes ?End ?Period)))))	FinancialOntology.kif 2934-2950	attribute 協議 and GTC訂單 TimeInterval 是 協議 的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單 患者 Process and 協議 等於 何時 Process and TimeInterval 暫時重疊 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單 患者 Process and 協議 等於 何時 Process and TimeInterval 飾面 TimeInterval and TimeInterval
(=>     (and         (attribute ?Order IOCOrder)         (agreementPeriod ?Order ?Period))     (or         (exists (?Fill ?Time1)             (and                 (instance ?Fill FillingAnOrder)                 (patient ?Fill ?Order)                 (equal                     (WhenFn ?Fill) ?Time1)                 (starts ?Time1 ?Period)))         (exists (?Kill ?Time2)             (and                 (instance ?Kill CancellingAnOrder)                 (patient ?Kill ?Order)                 (equal                     (WhenFn ?Kill) ?Time2)                 (starts ?Time2 ?Period)))))	FinancialOntology.kif 2871-2887	attribute 協議 and 國際奧委會訂單 TimeInterval 是 協議 的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單 患者 Process and 協議 等於 何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單 患者 Process and 協議 等於 何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Buying ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (instance ?U UnitOfCurrency)         (askPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (lessThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Buy) ?BuyingTime)                 (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2025-2046	attribute FinancialTransaction and 限價訂單 協議 是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是 對於 安全 的 order Buying 測量 安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了 安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務 卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全 測量 安全 and PhysicalQuantity 等於 何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Selling ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (bidPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (instance ?U UnitOfCurrency)         (greaterThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Sell) ?SellingTime)                 (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2048-2069	attribute FinancialTransaction and 限價訂單 協議 是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是 對於 安全 的 order Selling 測量 安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 安全 例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務 卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全 測量 安全 and PhysicalQuantity 等於 何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
(=>     (and         (attribute ?SYLLABLE Stressed)         (instance ?WORD Word)         (part ?SYLLABLE ?WORD))     (not         (exists (?SYLLABLE2)             (and                 (instance ?SYLLABLE2 Syllable)                 (part ?SYLLABLE2 ?WORD)                 (attribute ?SYLLABLE2 Stressed)                 (not                     (equal ?SYLLABLE2 ?SYLLABLE))))))	Mid-level-ontology.kif 21014-21024	attribute Object and 強調 例 Object and Word 部分 Object and Object Object 例 Object and 音節 部分 Object and Object attribute Object and 強調 等於 Object and Object
(=>     (and         (attribute ?X CommunalAttribute)         (instance ?X Table)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople)         (eventLocated ?E1 ?X))     (modalAttribute         (exists (?GRP2 ?E2 ?X2)             (and                 (instance ?E2 Eating)                 (agent ?E2 ?GRP2)                 (not                     (equal ?GRP1 ?GRP2))                 (instance ?GRP2 GroupOfPeople)                 (eventLocated ?E2 ?X2)                 (meetsTemporally                     (WhenFn ?E1)                     (WhenFn ?E2))                 (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	attribute Object and CommunalAttribute 例 Object and 表 例 Process and Eating agent Process and AutonomousAgent 例 AutonomousAgent and 一群人 Process 是 located 在 Object 模態屬性 entity entity and Object2 例 entity and Eating agent entity and entity 等於 AutonomousAgent and entity 例 entity and 一群人 entity 是 located 在 Object2 短暫相遇 何時 Process and 何時 entity 等於 Object and Object2 and 可能性
(=>     (and         (attribute ?X Multilingual)         (instance ?SPEAK Speaking)         (agent ?SPEAK ?X))     (modalAttribute         (exists (?LANG1 ?LANG2)             (and                 (instance ?LANG1 SpokenHumanLanguage)                 (instance ?LANG2 SpokenHumanLanguage)                 (not                     (equal ?LANG1 ?LANG2))                 (or                     (patient ?SPEAK ?LANG1)                     (patient ?SPEAK ?LANG2)))) Possibility))	Mid-level-ontology.kif 27648-27661	attribute AutonomousAgent and Multilingual 例 Process and 說話 agent Process and AutonomousAgent 模態屬性 entity entity 例 entity and 口語人類語言 例 entity and 口語人類語言 等於 entity and entity 患者 Process and entity 患者 Process and entity and 可能性
(=>     (and         (attribute ?X Suite)         (instance ?X HotelUnit))     (exists (?R1 ?R2)         (and             (instance ?R1 HotelRoom)             (instance ?R2 HotelRoom)             (orientation ?R1 ?X Inside)             (orientation ?R2 ?X Inside)             (not                 (equal ?R1 ?R2)))))	Hotel.kif 1011-1022	attribute Object and Suite 例 Object and HotelUnit Object Object 例 Object and HotelRoom 例 Object and HotelRoom 方位 Object, Object and 內 方位 Object, Object and 內 等於 Object and Object
(=>     (and         (birthdate ?A ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?CLASS ?FUTURE)         (and             (birthday ?A ?CLASS)             (subclass ?CLASS Day)             (instance ?FUTURE Integer)             (equal ?CLASS                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?FUTURE))))             (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 25885-25895	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
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