(=>     (and         (antagonistMuscles ?A ?B)         (instance ?E Extension)         (instrument ?E ?AC)         (moves ?F ?BC)         (instance ?AC ?A)         (instance ?BC ?B)         (part ?AC ?H)         (part ?BC ?H)         (instance ?H Mammal))     (capability Flexion instrument ?BC))	Mid-level-ontology.kif 10685-10696	antagonistMuscles 筋肉 and 筋肉 工程 は Extension の instance では %n 筋肉C は 工程 の instrument では %n moves motion and 筋肉C 筋肉C は 筋肉 の instance では %n 筋肉C は 筋肉 の instance では %n 筋肉C は オブジェクト の part では %n 筋肉C は オブジェクト の part では %n オブジェクト は 哺乳動物 の instance では %n 筋肉C は Flexion を instrument として行う capable では %n
(=>     (and         (antagonistMuscles ?A ?B)         (instance ?F Flexion)         (instrument ?F ?AC)         (moves ?F ?BC)         (instance ?AC ?A)         (instance ?BC ?B)         (part ?AC ?H)         (part ?BC ?H)         (instance ?H Mammal))     (capability Extension instrument ?BC))	Mid-level-ontology.kif 10672-10683	antagonistMuscles 筋肉 and 筋肉 motion は Flexion の instance では %n 筋肉C は motion の instrument では %n moves motion and 筋肉C 筋肉C は 筋肉 の instance では %n 筋肉C は 筋肉 の instance では %n 筋肉C は オブジェクト の part では %n 筋肉C は オブジェクト の part では %n オブジェクト は 哺乳動物 の instance では %n 筋肉C は Extension を instrument として行う capable では %n
(=>     (and         (applicableRelation ?O ?R)         (instance ?O ?OC)         (domain ?R 1 ?DC))     (or         (equal ?OC ?DC)         (subclass ?OC ?DC)))	Mid-level-ontology.kif 31387-31394	applicableRelation オブジェクト and 関係 オブジェクト は オブジェクトC の instance では %n 関係 の数値 1 引数は クラス の instance では %n オブジェクトC は クラス と equal では %n オブジェクトC は クラス の subclass では %n
(=>     (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 17948-17959	approximateDiameter 自己接続オブジェクト and 実数 の 実数M(s) sphereRadius オブジェクト and 実数 + 2.0 の 実数M(s) オブジェクト の measure は 実数 の 測定単位(s) では %n 自己接続オブジェクト の measure は 実数 の 測定単位(s) では %n 実数M は UnitOfLength の instance では %n 測定単位 は UnitOfVolume の instance では %n 実数 は 実数 と equal では %n
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?TOTAL AreaMeasure)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?TOTAL)))     (arableLandArea ?REGION         (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2080-2090	arableLandArea 地理的地域 and 実数 の 測定単位(s) 実数 は 0.0 greater では　%n totalArea 地理的地域 and 実数 の 測定単位(s) 実数 は 面積測定 の instance では %n 実数 は 実数 + 実数 と equal では %n arableLandArea 地理的地域 and 実数 の 測定単位(s)
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?ARABLE)         (and             (instance ?ARABLE ArableLand)             (geographicSubregion ?ARABLE ?REGION)             (measure ?ARABLE                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2092-2106	arableLandArea 地理的地域 and 実数 の 測定単位(s) 実数 は 0.0 greater では　%n totalArea 地理的地域 and 実数 の 測定単位(s) 測定単位 は UnitOfArea の instance では %n 地理的地域 地理的地域 は ArableLand の instance では %n geographicSubregion 地理的地域 and 地理的地域 地理的地域 の measure は 実数 + 実数 の 測定単位(s) では %n
(=>     (and         (attribute             (GovernmentFn ?AREA) ?TYPE)         (instance ?TYPE FormOfGovernment))     (governmentType ?AREA ?TYPE))	Government.kif 148-152	FormOfGovernment は 地政学的地域 の government の attribute では %n FormOfGovernment は FormOfGovernment の instance では %n governmentType 地政学的地域 and FormOfGovernment
(=>     (and         (attribute ?A ?ATTR)         (instance ?ATTR AlbumAttribute))     (instance ?A Album))	Music.kif 478-482	属性 は オブジェクト の attribute では %n 属性 は AlbumAttribute の instance では %n オブジェクト は Album の instance では %n
(=>     (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	AppraisalAsJustTreatment は 認識エージェント の attribute では %n 認識エージェントJT は AppraisalProcess の instance では %n 認識エージェント は 認識エージェントJT の agent では %n 工程 認識エージェント2 工程 は 工程 の instance では %n 認識エージェントJT は 工程 への reference を includes %n{ない} 認識エージェント2 は 工程 の agent では %n 認識エージェント は 認識エージェント2 と equal では 認識エージェント は 工程 の patient では %n 認識エージェント は 工程 を wants %n{ない}
(=>     (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	AppraisalAsUnjustTreatment は 認識エージェント の attribute では %n 認識エージェントUJ は AppraisalProcess の instance では %n 認識エージェント は 認識エージェントUJ の agent では %n 工程 認識エージェント2 工程 は 工程 の instance では %n 認識エージェントUJ は 工程 への reference を includes %n{ない} 認識エージェント2 は 工程 の agent では %n 認識エージェント は 認識エージェント2 と equal では 認識エージェント は 工程 の patient では %n 認識エージェント は 工程 を want ない
(=>     (and         (attribute ?A Founder)         (instance ?A Human))     (exists (?PROC)         (and             (instance ?PROC Founding)             (agent ?PROC ?A))))	Biography.kif 223-230	Founder は AutonomousAgent の attribute では %n AutonomousAgent は 人［人間］ の instance では %n 工程 工程 は Founding の instance では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (attribute ?ACCT ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?ACCT UserAccount))	UXExperimentalTerms.kif 648-652	属性 は オブジェクト の attribute では %n 属性 は AccountAttribute の instance では %n オブジェクト は UserAccount の instance では %n
(=>     (and         (attribute ?ACTOR VoiceActor)         (instance ?DRAMA DramaticActing)         (agent ?DRAMA ?ACTOR)         (instance ?SPEAK LinguisticCommunication)         (agent ?SPEAK ?ACTOR)         (subProcess ?SPEAK ?DRAMA))     (and         (not             (exists (?S ?VIEWER)                 (and                     (instance ?S Seeing)                     (patient ?S ?ACTOR)                     (agent ?S ?VIEWER))))         (exists (?H ?VIEWER)             (and                 (instance ?H Hearing)                 (patient ?H ?ACTOR)                 (agent ?H ?VIEWER)))))	Biography.kif 757-776	VoiceActor は AutonomousAgent の attribute では %n 工程 は DramaticActing の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は LinguisticCommunication の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 工程% の subprocess では %n 工程 AutonomousAgent 工程 は 見ること の instance では %n AutonomousAgent は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n 工程 AutonomousAgent 工程 は 聴覚 の instance では %n AutonomousAgent は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (attribute ?AGENT             (MemberFn ?ORG))         (instance ?AGENT AutonomousAgent)         (instance ?ORG Organization))     (member ?AGENT ?ORG))	Government.kif 1774-1779	MemberFn 組織 は オブジェクト の attribute では %n オブジェクト は AutonomousAgent の instance では %n 組織 は 組織 の instance では %n オブジェクト は 組織 の member では %n
(=>     (and         (attribute ?AREA CommunistState)         (instance ?AREA Nation))     (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 865-869	CommunistState は AutonomousAgent の attribute では %n AutonomousAgent は 国民 の instance では %n economyType AutonomousAgent and CentrallyPlannedEconomy
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (exists (?GAME)         (and             (instance ?GAME Sport)             (contestParticipant ?GAME ?ATHLETE))))	Sports.kif 1363-1370	属性 は AutonomousAgent の attribute では %n 属性 は ProfessionalAthlete の instance では %n コンテスト コンテスト は スポーツ の instance では %n contestParticipant コンテスト and AutonomousAgent
(=>     (and         (attribute ?ATHLETE ?PA)         (instance ?PA ProfessionalAthlete))     (hasSkill Sport ?ATHLETE))	Sports.kif 1357-1361	属性 は AutonomousAgent の attribute では %n 属性 は ProfessionalAthlete の instance では %n AutonomousAgent は スポーツ をする skill が %n{ない}
(=>     (and         (attribute ?DEVICE ?ATTRIBUTE)         (instance ?ATTRIBUTE DeviceAttribute))     (instance ?DEVICE Device))	Mid-level-ontology.kif 1833-1837	属性 は オブジェクト の attribute では %n 属性 は DeviceAttribute の instance では %n オブジェクト は デバイス の instance では %n
(=>     (and         (attribute ?EXP ?ATTR)         (instance ?ATTR ExperimentAttribute))     (instance ?EXP Experimenting))	UXExperimentalTerms.kif 4407-4411	属性 は オブジェクト の attribute では %n 属性 は ExperimentAttribute の instance では %n オブジェクト は Experimenting の instance では %n
(=>     (and         (attribute ?F DecafAttribute)         (instance ?F Food))     (not         (exists (?C)             (and                 (instance ?C Caffeine)                 (piece ?C ?F)))))	Food.kif 437-445	DecafAttribute は 物質 の attribute では %n 物質 は Food の instance では %n 物質 物質 は Caffeine の instance では %n 物質 は 物質 の piece では %n
(=>     (and         (attribute ?FOOD1 FamilyStylePortion)         (measure ?FOOD1             (MeasureFn ?MEAS1 ?U))         (not             (attribute ?FOOD2 FamilyStylePortion))         (measure ?FOOD2             (MeasureFn ?MEAS2 ?U))         (instance ?FOOD1 ?CLASS)         (instance ?FOOD2 ?CLASS)         (instance ?U UnitOfMeasure))     (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1165-1176	FamilyStylePortion は オブジェクト の attribute では %n オブジェクト の measure は 実数 の 測定単位(s) では %n FamilyStylePortion は オブジェクト の attribute では オブジェクト の measure は 実数 の 測定単位(s) では %n オブジェクト は クラス の instance では %n オブジェクト は クラス の instance では %n 測定単位 は 測定単位 の instance では %n 実数 は 実数 より greater では　%n
(=>     (and         (attribute ?H ?D)         (diseaseTreatment ?D ?P)         (instance ?TP TherpeuticProcess)         (agent ?TP ?DOC)         (patient ?TP ?H)         (attribute ?DOC MedicalDoctor))     (modalAttribute         (instance ?TP ?P) Possibility))	Medicine.kif 5824-5834	病気または症候群 は オブジェクト の attribute では %n diseaseTreatment 病気または症候群 and 治療経過 工程 は TherpeuticProcess の instance では %n 病気または症候群OC は 工程 の agent では %n オブジェクト は 工程 の patient では %n MedicalDoctor は 病気または症候群OC の attribute では %n ステートメント 工程 は 治療経過 の instance では %n には Possibility の modal force が ある
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Female)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 12))	Medicine.kif 172-187	Anemia は オブジェクト の attribute では %n オブジェクト は 血 の instance では %n オブジェクト は オブジェクト の part では %n Female は オブジェクト の attribute では %n オブジェクト の measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE は オブジェクト の part では %n オブジェクトE2 は Hemoglobin の instance では オブジェクトE は オブジェクトE2 と equal では オブジェクト2 は オブジェクト の part では %n オブジェクトE の measure は 実数 の Gram(s) では %n 実数 は 12 より less では %n
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Male)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 13))	Medicine.kif 155-170	Anemia は オブジェクト の attribute では %n オブジェクト は 血 の instance では %n オブジェクト は オブジェクト の part では %n Male は オブジェクト の attribute では %n オブジェクト の measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE は オブジェクト の part では %n オブジェクトE2 は Hemoglobin の instance では オブジェクトE は オブジェクトE2 と equal では オブジェクト2 は オブジェクト の part では %n オブジェクトE の measure は 実数 の Gram(s) では %n 実数 は 13 より less では %n
(=>     (and         (attribute ?H1 ADHD)         (not             (attribute ?H2 ADHD))         (not             (equal ?H1 ?H2))         (instance ?I1 ?IC)         (instance ?I2 ?IC)         (subclass ?IC IntentionalPsychologicalProcess)         (agent ?I1 ?H1)         (agent ?I2 ?H2)         (duration             (WhenFn ?I1) ?D1)         (duration             (WhenFn ?I2) ?D2))     (modalAttribute         (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3984-4004	ADHD は AutonomousAgent の attribute では %n ADHD は AutonomousAgent の attribute では AutonomousAgent は AutonomousAgent と equal では 工程 は クラス の instance では %n 工程 は クラス の instance では %n クラス は 意図的な心理的プロセス の subclass では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence の duration は 時間分 では %n 工程 の time の existence の duration は 時間分 では %n ステートメント 時間分 は 時間分 より greater では　%n には Likely の modal force が ある
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