(=>     (and         (instance ?M SkimmedMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (greaterThanOrEqualTo ?N2                 (MultiplicationFn 0.0 ?N))             (lessThanOrEqualTo ?N2                 (MultiplicationFn 0.005 ?N)))))	Food.kif 3025-3043	オブジェクト は SkimmedMilk の instance では オブジェクト の measure は 実数 の 測定単位(s) では 測定単位 は UnitOfVolume の instance では オブジェクト 実数2 オブジェクト は ButterFat の instance では オブジェクト は オブジェクト の part では オブジェクト オブジェクト は ButterFat の instance では equal オブジェクト and オブジェクト オブジェクト は オブジェクト の part では オブジェクト の measure は 実数2 の 測定単位(s) では 実数2 は 0.0 + 実数 greater では　 実数2 は 0.005 + 実数 より less または同等 では
(=>     (and         (instance ?M TwoPercentMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (equal ?N2                 (MultiplicationFn 0.02 ?N)))))	Food.kif 2952-2969	オブジェクト は TwoPercentMilk の instance では オブジェクト の measure は 実数 の 測定単位(s) では 測定単位 は UnitOfVolume の instance では オブジェクト 実数2 オブジェクト は ButterFat の instance では オブジェクト は オブジェクト の part では オブジェクト オブジェクト は ButterFat の instance では equal オブジェクト and オブジェクト オブジェクト は オブジェクト の part では オブジェクト の measure は 実数2 の 測定単位(s) では equal 実数2 and 0.02 + 実数
(=>     (and         (instance ?M WholeMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (greaterThanOrEqualTo ?N2                 (MultiplicationFn 0.0325 ?N))             (lessThanOrEqualTo ?N2                 (MultiplicationFn 0.05 ?N)))))	Food.kif 2858-2876	オブジェクト は WholeMilk の instance では オブジェクト の measure は 実数 の 測定単位(s) では 測定単位 は UnitOfVolume の instance では オブジェクト 実数2 オブジェクト は ButterFat の instance では オブジェクト は オブジェクト の part では オブジェクト オブジェクト は ButterFat の instance では equal オブジェクト and オブジェクト オブジェクト は オブジェクト の part では オブジェクト の measure は 実数2 の 測定単位(s) では 実数2 は 0.0325 + 実数 greater では　 実数2 は 0.05 + 実数 より less または同等 では
(=>     (and         (instance ?MELT Melting)         (patient ?MELT ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?MELT))                 (attribute ?PART Solid))             (holdsDuring                 (EndFn                     (WhenFn ?MELT))                 (attribute ?PART Liquid)))))	Merge.kif 14065-14073	工程 は 溶融 の instance では オブジェクト は 工程 の patient では オブジェクト オブジェクト は オブジェクト の part では Solid は オブジェクト の attribute では は 工程 の time の existence の beginning の during holds Liquid は オブジェクト の attribute では は 工程 の time の existence の end の during holds
(=>     (and         (instance ?NUCLEUS ?CLASS)         (subclass ?CLASS CellNucleus)         (initialPart ?CLASS EukaryoticCell))     (exists (?CHROMOTIN)         (and             (instance ?CHROMOTIN Chromotin)             (part ?CHROMOTIN ?NUCLEUS))))	VirusProteinAndCellPart.kif 605-613	オブジェクト は オブジェクト の instance では オブジェクト は CellNucleus の subclass では initialPart オブジェクト and EukaryoticCell オブジェクト オブジェクト は Chromotin の instance では オブジェクト は オブジェクト の part では
(=>     (and         (instance ?OBJ1 Object)         (partlyLocated ?OBJ1 ?OBJ2))     (exists (?SUB)         (and             (part ?SUB ?OBJ1)             (located ?SUB ?OBJ2))))	Merge.kif 4080-4087	オブジェクト は オブジェクト の instance では オブジェクト は partly に オブジェクト に 位置して オブジェクト オブジェクト は オブジェクト の part では オブジェクト は オブジェクト に located して
(=>     (and         (instance ?OEW OpeningEyesWidely)         (agent ?OEW ?A))     (exists (?EL)         (and             (instance ?EL Eyelid)             (part ?EL ?A)             (patient ?OEW ?EL))))	emotion.kif 1668-1676	工程 は OpeningEyesWidely の instance では AutonomousAgent は 工程 の agent では オブジェクト オブジェクト は Eyelid の instance では オブジェクト は AutonomousAgent の part では オブジェクト は 工程 の patient では
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG MotorVehicleAndPartsDealers))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (or                         (instance ?THING TransportationDevice)                         (exists (?DEV)                             (and                                 (part ?THING ?DEV)                                 (instance ?DEV TransportationDevice)))                         (patient ?EV ?THING)))))))	naics.kif 7023-7040	コレクション は 組織 の instance では MotorVehicleAndPartsDealers は コレクション の attribute では AutonomousAgent 工程 工程 は コレクション の member では AutonomousAgent は 工程 の agent では オブジェクト AutonomousAgent は 販売 の instance では オブジェクト は 輸送機 の instance では オブジェクト オブジェクト は オブジェクト の part では オブジェクト は 輸送機 の instance では オブジェクト は AutonomousAgent の patient では
(=>     (and         (instance ?P HeartPalpitations)         (experiencer ?P ?H))     (exists (?HEART)         (and             (instance ?HEART Heart)             (part ?HEART ?H)             (located ?P ?HEART))))	Medicine.kif 2069-2077	工程 は HeartPalpitations の instance では AutonomousAgent が 工程 を experiences AutonomousAgentEART AutonomousAgentEART は Heart の instance では AutonomousAgentEART は AutonomousAgent の part では 工程 は AutonomousAgentEART に located して
(=>     (and         (instance ?P Peeling)         (patient ?P ?O))     (exists (?S)         (and             (instance ?S Skin)             (part ?O ?S))))	Mid-level-ontology.kif 13152-13159	工程 は Peeling の instance では オブジェクト は 工程 の patient では オブジェクト オブジェクト は Skin の instance では オブジェクト は オブジェクト の part では
(=>     (and         (instance ?P Perspiring)         (experiencer ?P ?A))     (exists (?H)         (and             (instance ?H Hand)             (part ?H ?A)             (destination ?P ?H))))	emotion.kif 1492-1500	工程 は Perspiring の instance では AutonomousAgent が 工程 を experiences オブジェクト オブジェクト は Hand の instance では オブジェクト は AutonomousAgent の part では 工程 は オブジェクト に ends
(=>     (and         (instance ?P PerspiringWholeBody)         (experiencer ?P ?A))     (not         (exists (?B)             (and                 (instance ?B BodyPart)                 (part ?B ?A)                 (not                     (destination ?P ?B))))))	emotion.kif 1505-1515	工程 は PerspiringWholeBody の instance では AutonomousAgent が 工程 を experiences オブジェクト オブジェクト は 体の部分 の instance では オブジェクト は AutonomousAgent の part では 工程 は オブジェクト に end ない
(=>     (and         (instance ?P Punching)         (agent ?P ?A))     (exists (?H)         (and             (instance ?H Hand)             (attribute ?H Fist)             (part ?H ?A)             (instrument ?P ?H))))	Mid-level-ontology.kif 7559-7568	工程 は Punching の instance では AutonomousAgent は 工程 の agent では オブジェクト オブジェクト は Hand の instance では Fist は オブジェクト の attribute では オブジェクト は AutonomousAgent の part では オブジェクト は 工程 の instrument では
(=>     (and         (instance ?P ThreeDPrinting)         (instance ?O Artifact)         (result ?P ?O))     (exists (?A ?X ?B ?Y)         (and             (instance ?A Making)             (subProcess ?A ?P)             (instance ?X SelfConnectedObject)             (part ?X ?O)             (result ?A ?X)             (instance ?B Making)             (subProcess ?B ?P)             (instance ?Y SelfConnectedObject)             (part ?Y ?O)             (overlapsSpatially ?X ?Y)             (orientation ?X ?Y Below)             (during                 (WhenFn ?A)                 (WhenFn ?P))             (during                 (WhenFn ?B)                 (WhenFn ?P))             (earlier                 (WhenFn ?A)                 (WhenFn ?B)))))	QoSontology.kif 537-563	工程 は ThreeDPrinting の instance では オブジェクト は アーチファクト の instance では オブジェクト は 工程 の result では 工程 オブジェクト, 工程 and オブジェクト 工程 は 作る の instance では 工程 は 工程% の subprocess では オブジェクト は 自己接続オブジェクト の instance では オブジェクト は オブジェクト の part では オブジェクト は 工程 の result では 工程 は 作る の instance では 工程 は 工程% の subprocess では オブジェクト は 自己接続オブジェクト の instance では オブジェクト は オブジェクト の part では overlapsSpatially オブジェクト and オブジェクト オブジェクト は Below 対 オブジェクト では 工程 の time の existence は 工程 の time の existence の during に takes 工程 の time の existence は 工程 の time の existence の during に takes 工程 の time の existence は 工程 の time の existence より earlier happens
(=>     (and         (instance ?P ThreeDPrinting)         (instance ?X Substance)         (resource ?P ?X))     (exists (?R)         (and             (instance ?R Reservoir)             (part ?R ?P)             (origin ?P ?R)             (located ?X ?R))))	QoSontology.kif 514-524	工程 は ThreeDPrinting の instance では オブジェクト は 物質 の instance では オブジェクト は 工程 の resource では オブジェクト オブジェクト は Reservoir の instance では オブジェクト は 工程 の part では 工程 は オブジェクト から originates オブジェクト は オブジェクト に located して
(=>     (and         (instance ?PAGE ViewItemPage)         (instance ?ADVERTISING WebListing)         (component ?ADVERTISING ?PAGE)         (patient ?ADVERTISING ?ITEM)         (instance ?ITEM Physical))     (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)         (and             (instance ?STATING Stating)             (patient ?STATING ?DESCRIPTION)             (refers ?DESCRIPTION ?ITEM)             (result ?DESCRIPTION ?DESCRIPTIONCONTENT)             (part ?DESCRIPTIONCONTENT ?PAGE))))	UXExperimentalTerms.kif 2078-2091	微粒子オブジェクト は ViewItemPage の instance では 工程 は WebListing の instance では 工程 は 微粒子オブジェクト の component では エンティティー は 工程 の patient では エンティティー は 物理 の instance では 工程 工程 and 工程CONTENT 工程 は 記載 の instance では 工程 は 工程 の patient では 工程 は エンティティー への reference を includes 工程CONTENT は 工程 の result では 工程CONTENT は 微粒子オブジェクト の part では
(=>     (and         (instance ?PATH PathologicProcess)         (experiencer ?PATH ?ORG))     (exists (?PART ?DISEASE)         (and             (part ?PART ?ORG)             (instance ?DISEASE DiseaseOrSyndrome)             (attribute ?PART ?DISEASE))))	Merge.kif 10534-10542	工程 は 病理学的プロセス の instance では AutonomousAgent が 工程 を experiences オブジェクト 属性 オブジェクト は AutonomousAgent の part では 属性 は 病気または症候群 の instance では 属性 は オブジェクト の attribute では
(=>     (and         (instance ?PLT PressingLipsTogether)         (agent ?PLT ?A))     (exists (?L ?BM)         (and             (instance ?L Lip)             (part ?L ?A)             (instance ?BM BodyMotion)             (patient ?BM ?L)             (agent ?BM ?A))))	emotion.kif 1202-1212	工程 は PressingLipsTogether の instance では AutonomousAgent は 工程 の agent では オブジェクト 工程 オブジェクト は Lip の instance では オブジェクト は AutonomousAgent の part では 工程 は 動作 の instance では オブジェクト は 工程 の patient では AutonomousAgent は 工程 の agent では
(=>     (and         (instance ?PROC TherapeuticProcess)         (patient ?PROC ?BIO))     (or         (instance ?BIO Organism)         (exists (?ORG)             (and                 (instance ?ORG Organism)                 (part ?BIO ?ORG)))))	Merge.kif 12394-12403	工程 は 治療経過 の instance では オブジェクト は 工程 の patient では オブジェクト は 物 の instance では オブジェクト オブジェクト は 物 の instance では オブジェクト は オブジェクト の part では
(=>     (and         (instance ?PROCESS StateChange)         (patient ?PROCESS ?OBJ))     (exists (?PART ?STATE1 ?STATE2)         (and             (part ?PART ?OBJ)             (instance ?STATE1 PhysicalState)             (instance ?STATE2 PhysicalState)             (not                 (equal ?STATE1 ?STATE2))             (holdsDuring                 (BeginFn                     (WhenFn ?PROCESS))                 (attribute ?PART ?STATE1))             (holdsDuring                 (EndFn                     (WhenFn ?PROCESS))                 (attribute ?PART ?STATE2)))))	Merge.kif 13910-13921	工程 は 状態変化 の instance では オブジェクト は 工程 の patient では オブジェクト エンティティー and エンティティー オブジェクト は オブジェクト の part では エンティティー は 物理状態 の instance では エンティティー は 物理状態 の instance では equal エンティティー and エンティティー エンティティー は オブジェクト の attribute では は 工程 の time の existence の beginning の during holds エンティティー は オブジェクト の attribute では は 工程 の time の existence の end の during holds
(=>     (and         (instance ?R CervicalVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S CervicalVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connected ?S ?R))))	Anatomy.kif 576-589	オブジェクト は CervicalVertebraBone の instance では オブジェクト は オブジェクト の part では オブジェクト は 人［人間］ の instance では 病気または症候群 は オブジェクト の attribute では オブジェクト オブジェクト は CervicalVertebraBone の instance では equal オブジェクト and オブジェクト オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と connected して
(=>     (and         (instance ?R FalseRibBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (not         (exists (?S)             (and                 (instance ?S Sternum)                 (part ?S ?H)                 (connected ?S ?R)))))	Anatomy.kif 520-532	オブジェクト は FalseRibBone の instance では オブジェクト は オブジェクト の part では オブジェクト は 人［人間］ の instance では 病気または症候群 は オブジェクト の attribute では オブジェクト オブジェクト は Sternum の instance では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と connected して
(=>     (and         (instance ?R LumbarVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S LumbarVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connected ?S ?R))))	Anatomy.kif 616-629	オブジェクト は LumbarVertebraBone の instance では オブジェクト は オブジェクト の part では オブジェクト は 人［人間］ の instance では 病気または症候群 は オブジェクト の attribute では オブジェクト オブジェクト は LumbarVertebraBone の instance では equal オブジェクト and オブジェクト オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と connected して
(=>     (and         (instance ?R Rotating)         (patient ?R ?TRACK)         (instance ?TRACK ContinuousTrack))     (exists (?COLL ?MEM ?TREAD ?R2)         (and             (instance ?COLL Collection)             (member ?MEM ?COLL)             (instance ?MEM Wheel)             (memberCount ?MEM ?I)             (greaterThan ?I 2)             (part ?COLL ?TRACK)             (part ?TREAD ?TRACK)             (instance ?TREAD CorpuscularObject)             (shape ?TREAD LongAndThin)             (attribute ?TREAD Pliable)             (located ?COLL ?TREAD)             (instance ?R2 Rotating)             (causes ?R2 ?R))))	Military.kif 193-212	工程 は Rotating の instance では オブジェクト は 工程 の patient では オブジェクト は ContinuousTrack の instance では コレクション コレクション, オブジェクト and 工程2 コレクション は コレクション の instance では コレクション は コレクション の member では コレクション は Wheel の instance では memberCount コレクション and 整数 整数 は 2 より greater では　 コレクション は オブジェクト の part では オブジェクト は オブジェクト の part では オブジェクト は 微粒子オブジェクト の instance では shape オブジェクト and LongAndThin Pliable は オブジェクト の attribute では コレクション は オブジェクト に located して 工程2 は Rotating の instance では 工程2 は 工程 を causes
(=>     (and         (instance ?R ThoracicVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S ThoracicVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connected ?S ?R))))	Anatomy.kif 684-697	オブジェクト は ThoracicVertebraBone の instance では オブジェクト は オブジェクト の part では オブジェクト は 人［人間］ の instance では 病気または症候群 は オブジェクト の attribute では オブジェクト オブジェクト は ThoracicVertebraBone の instance では equal オブジェクト and オブジェクト オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と connected して
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