result |
appearance as argument number 1 |
![]() |
(disjointRelation result instrument) | Merge.kif 2526-2526 | 结果 和 工具 是 disjoint 关系 |
(documentation result ChineseLanguage "(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个 result。") | chinese_format.kif 1895-1896 | 结果 和 工具 是 disjoint 关系 |
(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 2565-2567 | 结果 和 工具 是 disjoint 关系 |
(documentation result JapaneseLanguage "(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の result である: エリックは家を建てた。") | japanese_format.kif 521-522 | 结果 和 工具 是 disjoint 关系 |
(domain result 1 Process) | Merge.kif 2562-2562 | 结果 的 1 数量 是 过程 的 instance |
(domain result 2 Entity) | Merge.kif 2563-2563 | 结果 的 2 数量 是 实体 的 instance |
(instance result CaseRole) | Merge.kif 2560-2560 | 结果 是 格角色 的 instance |
(instance result PartialValuedRelation) | Merge.kif 2561-2561 | 结果 是 部分值关系 的 instance |
(subrelation result patient) | Merge.kif 2559-2559 | 结果 是 受事 的 subrelation |
appearance as argument number 2 |
![]() |
(disjointRelation resource result) | Merge.kif 2524-2524 | 资源 和 结果 是 disjoint 关系 |
(format ChineseLanguage result "%2 %n 是 %1 的 result") | chinese_format.kif 183-183 | 资源 和 结果 是 disjoint 关系 |
(format EnglishLanguage result "%2 is %n a result of %1") | english_format.kif 184-184 | 资源 和 结果 是 disjoint 关系 |
(format FrenchLanguage result "%2 est %n le resultat de %1") | french_format.kif 111-111 | 资源 和 结果 是 disjoint 关系 |
(format ItalianLanguage result "%2 è %n un risultato di %1") | relations-it.txt 257-257 | 资源 和 结果 是 disjoint 关系 |
(format JapaneseLanguage result "%2 は %1 の result では %n") | japanese_format.kif 1940-1940 | 资源 和 结果 是 disjoint 关系 |
(format PortugueseLanguage result "%2 e' %n o resultado de %1") | portuguese_format.kif 63-63 | 资源 和 结果 是 disjoint 关系 |
(format cz result "%2 %p{je} %n{nen�} v�sledkem %1") | relations-cz.txt 87-87 | 资源 和 结果 是 disjoint 关系 |
(format de result "%2 ist ein resultat von %1 %n{nicht}") | relations-de.txt 232-232 | 资源 和 结果 是 disjoint 关系 |
(format hi result "%2 %1 kaa pariNaama %n hai") | relations-hindi.txt 294-294 | 资源 和 结果 是 disjoint 关系 |
(format ro result "%2 %n{nu} este un result%t{rezultat} al lui %1") | relations-ro.kif 130-130 | 资源 和 结果 是 disjoint 关系 |
(format sv result "%2 är %n{inte} ett resultat av %1") | relations-sv.txt 116-116 | 资源 和 结果 是 disjoint 关系 |
(format tg result "%2 %n ay ang hangga ng %1") | relations-tg.txt 449-449 | 资源 和 结果 是 disjoint 关系 |
(termFormat ChineseLanguage result "结果") | chinese_format.kif 184-184 | 资源 和 结果 是 disjoint 关系 |
(termFormat ChineseTraditionalLanguage result "結果") | domainEnglishFormat.kif 49799-49799 | 资源 和 结果 是 disjoint 关系 |
(termFormat EnglishLanguage result "result") | domainEnglishFormat.kif 49798-49798 | 资源 和 结果 是 disjoint 关系 |
(termFormat de result "resultat") | terms-de.txt 73-73 | 资源 和 结果 是 disjoint 关系 |
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 12620-12627 | 过程 是 结合 的 instance 和 客体 是 那个 过程 的 resource 和 实体 是 那个 过程 的 result 若且唯若 那个 客体 不 是 那个 实体 的 part 在 那个 过程 出现 的 time 的开始 holdsDuring 和 那个 客体 是 那个 实体 的 part 在 那个 过程 出现 的 time 的结束 holdsDuring |
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 22377-22384 | |
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 20408-20414 | |
(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS)) |
Biography.kif 738-748 | |
(=> (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 22351-22360 | |
(=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3041-3055 | |
(=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely)) |
Medicine.kif 3023-3039 |
|
(=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 12982-12986 | |
(=> (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 586-602 |
|
(=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2)) |
Mid-level-ontology.kif 22032-22037 | |
(=> (and (instance ?CREATE Creation) (result ?CREATE ?PROP) (instance ?PROP Proposition) (agent ?CREATE ?AGENT)) (propositionOwner ?AGENT ?PROP)) |
Catalog.kif 172-178 | |
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 11384-11407 |
|
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 11354-11375 |
|
(=> (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 74-83 | |
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12196-12212 |
|
(=> (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON WeaponOfMassDestruction)) |
WMD.kif 690-694 | |
(=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance)) |
Merge.kif 12701-12710 | |
(=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan)) |
MilitaryProcesses.kif 1527-1533 | |
(=> (and (instance ?EVENT Planning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject)) (exists (?PLAN) (and (instance ?PLAN Plan) (containsInformation ?CBO ?PLAN)))) |
Merge.kif 10978-10986 | |
(=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula)) |
UXExperimentalTerms.kif 3794-3798 | |
(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem)))) |
Economy.kif 5827-5835 | |
(=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3699-3706 | |
(=> (and (instance ?FACILITY NuclearWeaponProductionFacility) (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON NuclearWeapon)) |
WMD.kif 654-660 | |
(=> (and (instance ?G Choreographing) (result ?G ?P) (realization ?D ?P)) (instance ?D Dancing)) |
Mid-level-ontology.kif 17434-17439 | |
(=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce)) |
Food.kif 2694-2699 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |