| appearance as argument number 1 |
|
| (disjointRelation result instrument) | Merge.kif 2416-2416 | 结果 和 工具 是 disjoint 关系 |
| (documentation result ChineseLanguage "(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如：在以下'埃里克建了一栋房子'这命题，房子是个 result。") | chinese_format.kif 1895-1896 | |
| (documentation result EnglishLanguage "(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a result in the following proposition: Eric built a house.") | Merge.kif 2455-2457 | |
| (domain result 1 Process) | Merge.kif 2452-2452 | 结果 的 1 数量 是 过程 的 instance |
| (domain result 2 Entity) | Merge.kif 2453-2453 | 结果 的 2 数量 是 实体 的 instance |
| (instance result CaseRole) | Merge.kif 2450-2450 | 结果 是 格角色 的 instance |
| (instance result PartialValuedRelation) | Merge.kif 2451-2451 | 结果 是 部分值关系 的 instance |
| (subrelation result patient) | Merge.kif 2449-2449 | 结果 是 受事 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation resource result) | Merge.kif 2414-2414 | 资源 和 结果 是 disjoint 关系 |
| (format ChineseLanguage result "%2 %n 是 %1 的 result") | chinese_format.kif 183-183 | |
| (format EnglishLanguage result "%2 is %n a result of %1") | english_format.kif 187-187 | |
| (termFormat ChineseLanguage result "结果") | chinese_format.kif 184-184 | |
| (termFormat ChineseTraditionalLanguage result "結果") | domainEnglishFormat.kif 49693-49693 | |
| (termFormat EnglishLanguage result "result") | domainEnglishFormat.kif 49692-49692 |
| antecedent |
|
|
| (<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 11520-11527 | 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring |
| (<=> (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT))) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 11862-11867 | 有存在 过程 这样 那个 过程 是 建筑 的 instance 和 实体 是 那个 过程 的 result 若且唯若 那个 实体 是 固定人工制品 的 instance |
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 18417-18424 | |
| (=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 16510-16516 | |
| (=> (and (attribute ?X Writer) (or (instance ?TEXT Text) (instance ?TEXT Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?TEXT)) |
Biography.kif 492-501 | |
| (=> (and (directed ?DIRECTOR ?MOVIE) (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?DIRECTOR FilmDirector))) |
Mid-level-ontology.kif 18392-18401 | |
| (=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 540-556 |
|
| (=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2)) |
Mid-level-ontology.kif 18180-18185 | |
| (=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP)) |
Catalog.kif 167-173 | |
| (=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG)) |
Mid-level-ontology.kif 195-204 | |
| (=> (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON WeaponOfMassDestruction)) |
WMD.kif 685-689 | |
| (=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan)) |
MilitaryProcesses.kif 1508-1514 | |
| (=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10093-10101 | |
| (=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula)) |
UXExperimentalTerms.kif 3996-4000 | |
| (=> (and (instance ?FACILITY NuclearWeaponProductionFacility) (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON NuclearWeapon)) |
WMD.kif 649-655 | |
| (=> (and (instance ?G Choreographing) (result ?G ?P) (realization ?D ?P)) (instance ?D Dancing)) |
Mid-level-ontology.kif 13701-13706 | |
| (=> (and (instance ?H Harvesting) (result ?H ?C)) (or (instance ?C PlantAnatomicalStructure) (instance ?C PlantSubstance))) |
Mid-level-ontology.kif 15781-15787 | |
| (=> (and (instance ?HELPING Helping) (agent ?HELPING ?AGENT) (result ?HELPING ?RESULT)) (exists (?PATIENT) (and (not (equal ?AGENT ?PATIENT)) (or (patient ?HELPING ?PATIENT) (experiencer ?HELPING ?PATIENT)) (wants ?PATIENT ?RESULT)))) |
MilitaryProcesses.kif 1418-1430 | |
| (=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn Volt ?N1))) (approximateValue ?N1 12)) |
Cars.kif 3130-3140 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 3366-3372 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3402-3408 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ABSOLUTEMETER) (instance ?ABSOLUTEMETER AbsoluteAltimeter)) (exists (?OBJ2) (and (altitude ?OBJ ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth)))) |
MilitaryDevices.kif 1441-1451 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (altitude ?OBJ SeaLevel ?QUANTITY)) |
MilitaryDevices.kif 1477-1484 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1488-1496 | |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ALTIMETER) (instance ?ALTIMETER Altimeter)) (instance ?QUANTITY AltitudeMeasure)) |
MilitaryDevices.kif 1426-1432 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (<=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)))) |
Merge.kif 11589-11599 | 实体 是 复合物质 的 instance 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 元素物质 的 instance 和 那个 另外 客体 是 元素物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
| (<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS)))) |
Mid-level-ontology.kif 6166-6176 | 实体 是 共轭物质 的 instance 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
| (<=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 991-997 | 实体 是 合成物质 的 instance 若且唯若 有存在 过程 这样 那个 过程 是 有意图过程 的 instance 和 那个 实体 是 那个 过程 的 result 和 那个 实体 是 物质 的 instance |
| (<=> (yearOfFounding ?O ?Y) (exists (?F) (and (overlapsTemporally ?F (YearFn ?Y)) (instance ?F Founding) (result ?F ?O)))) |
Mid-level-ontology.kif 1350-1356 | 整数 是 机构 的 year 资金 若且唯若 有存在 时距 这样 那个 整数 year 时段 和 那个 时距 重叠 和 那个 时距 是 创建 的 instance 和 那个 机构 是 那个 时距 的 result |
| (=> (actedIn ?ACTOR ?O) (exists (?PERF) (and (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)))) |
Mid-level-ontology.kif 18409-18415 | |
| (=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC)))))) |
Communications.kif 202-214 | |
| (=> (and (instance ?CA ChemicalAcid) (instance ?CB ChemicalBase) (instance ?C ChemicalProcess) (patient ?C ?CA) (patient ?C ?CB)) (exists (?CS) (and (instance ?CS ChemicalSalt) (result ?C ?CS)))) |
Mid-level-ontology.kif 8405-8415 | |
| (=> (and (instance ?COLOR SecondaryColor) (attribute ?OBJ ?COLOR)) (exists (?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2) (and (result ?PROCESS ?OBJ) (resource ?PROCESS ?RESOURCE1) (resource ?PROCESS ?RESOURCE2) (attribute ?RESOURCE1 ?PRIMARY1) (attribute ?RESOURCE2 ?PRIMARY2) (instance ?PRIMARY1 PrimaryColor) (instance ?PRIMARY2 PrimaryColor) (not (equal ?PRIMARY1 ?PRIMARY2))))) |
Mid-level-ontology.kif 17160-17173 |
|
| (=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG)))))) |
Merge.kif 9602-9617 | |
| (=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM)) |
Mid-level-ontology.kif 207-216 | |
| (=> (and (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (patient ?DISMANTLE ?WEAPON)) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON) (earlier (WhenFn ?DEVELOP) (WhenFn ?DISMANTLE))))) |
WMD.kif 745-753 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG ?INDUSTRY) (industryProductType ?INDUSTRY ?TYPE)) (exists (?EVENT ?ITEM) (and (instance ?EVENT Making) (instance ?ITEM ?TYPE) (agent ?EVENT ?ORG) (result ?EVENT ?ITEM)))) |
Economy.kif 1611-1621 | |
| (=> (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 2282-2295 |
|
| (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ)))) |
Merge.kif 15596-15604 | |
| (=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC)))))) |
Military.kif 32-44 |
|
| (=> (and (instance ?PSYOP PsychologicalOperation) (agent ?PSYOP ?AGENT) (patient ?PSYOP ?TARGET)) (hasPurpose ?PSYOP (exists (?PROCESS ?RESULT) (and (agent ?PROCESS ?TARGET) (result ?PROCESS ?RESULT) (desires ?AGENT ?RESULT))))) |
MilitaryProcesses.kif 1183-1193 | |
| (=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL)))))) |
Mid-level-ontology.kif 25182-25208 |
|
| (=> (and (subclass ?PAPER Newspaper) (instance ?WEEK Week)) (exists (?PUBLICATION ?ISSUE) (and (instance ?PUBLICATION Publication) (temporalPart (WhenFn ?PUBLICATION) ?WEEK) (result ?PUBLICATION ?ISSUE) (instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 12533-12542 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY Agent)) (exists (?FOOD ?COOK ?CLASSIFY) (and (instance ?COOK Cooking) (agent ?COOK ?ENTITY) (result ?COOK ?FOOD) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?FOOD) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 2998-3011 |
|
| (=> (attribute ?FOOD CookedAttribute) (exists (?PROC) (and (instance ?PROC Cooking) (result ?PROC ?FOOD)))) |
Mid-level-ontology.kif 19269-19274 | |
| (=> (attribute ?FOOD CookedAttribute) (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD)))) |
Food.kif 22-27 | |
| (=> (attribute ?FOOD RawAttribute) (not (exists (?PROC) (and (instance ?PROC Cooking) (result ?PROC ?FOOD))))) |
Mid-level-ontology.kif 19285-19291 | |
| (=> (attribute ?FOOD RawAttribute) (not (exists (?PROC) (and (instance ?PROC Heating) (result ?PROC ?FOOD))))) |
Food.kif 38-44 | |
| (=> (attribute ?H Potter) (exists (?M ?P) (and (instance ?P Pottery) (instance ?M Making) (agent ?M ?H) (result ?M ?P)))) |
Mid-level-ontology.kif 18533-18540 | |
| (=> (attribute ?ROOM ThemeRoom) (exists (?DESIGN ?PROP) (and (instance ?DESIGN Designing) (result ?DESIGN ?PROP) (represents ?ROOM ?PROP)))) |
Hotel.kif 1045-1051 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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