result |
appearance as argument number 1 |
(disjointRelation result instrument) | Merge.kif 2515-2515 | 结果 和 工具 是 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 2554-2556 | |
(documentation result JapaneseLanguage "(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の result である: エリックは家を建てた。") | japanese_format.kif 521-522 | |
(domain result 1 Process) | Merge.kif 2551-2551 | 结果 的 1 数量 是 过程 的 instance |
(domain result 2 Entity) | Merge.kif 2552-2552 | 结果 的 2 数量 是 实体 的 instance |
(instance result CaseRole) | Merge.kif 2549-2549 | 结果 是 格角色 的 instance |
(instance result PartialValuedRelation) | Merge.kif 2550-2550 | 结果 是 部分值关系 的 instance |
(subrelation result patient) | Merge.kif 2548-2548 | 结果 是 受事 的 subrelation |
appearance as argument number 2 |
(disjointRelation resource result) | Merge.kif 2513-2513 | 资源 和 结果 是 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 184-184 | |
(format FrenchLanguage result "%2 est %n le resultat de %1") | french_format.kif 111-111 | |
(format ItalianLanguage result "%2 è %n un risultato di %1") | relations-it.txt 257-257 | |
(format JapaneseLanguage result "%2 は %1 の result では %n") | japanese_format.kif 1940-1940 | |
(format PortugueseLanguage result "%2 e' %n o resultado de %1") | portuguese_format.kif 63-63 | |
(format cz result "%2 %p{je} %n{nen�} v�sledkem %1") | relations-cz.txt 87-87 | |
(format de result "%2 ist ein resultat von %1 %n{nicht}") | relations-de.txt 232-232 | |
(format hi result "%2 %1 kaa pariNaama %n hai") | relations-hindi.txt 294-294 | |
(format ro result "%2 %n{nu} este un result%t{rezultat} al lui %1") | relations-ro.kif 130-130 | |
(format sv result "%2 är %n{inte} ett resultat av %1") | relations-sv.txt 116-116 | |
(format tg result "%2 %n ay ang hangga ng %1") | relations-tg.txt 449-449 | |
(termFormat ChineseLanguage result "结果") | chinese_format.kif 184-184 | |
(termFormat ChineseTraditionalLanguage result "結果") | domainEnglishFormat.kif 49797-49797 | |
(termFormat EnglishLanguage result "result") | domainEnglishFormat.kif 49796-49796 | |
(termFormat de result "resultat") | terms-de.txt 73-73 |
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 12512-12519 | 过程 是 结合 的 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 20787-20794 | |
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18864-18870 | |
(=> (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 730-740 | |
(=> (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 20761-20770 | |
(=> (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 3040-3054 | |
(=> (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 3022-3038 |
|
(=> (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT)) (instance ?ARTIFACT StationaryArtifact)) |
Merge.kif 12874-12878 | |
(=> (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 20442-20447 | |
(=> (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 10082-10105 |
|
(=> (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 10052-10073 |
|
(=> (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 12092-12108 |
|
(=> (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 12593-12602 | |
(=> (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 10874-10882 | |
(=> (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 5485-5493 | |
(=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3692-3699 | |
(=> (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 16074-16079 | |
(=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce)) |
Food.kif 2687-2692 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |