Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - result
result

appearance as argument number 1
-------------------------


(disjointRelation result instrument) Merge.kif 2511-2511 resultinstrumentdisjoint では
(documentation result ChineseLanguage "(result ?ACTION ?OUTPUT)的意思是 ?OUTPUT 是 ?ACTION 的产品。例如:在以下'埃里克建了一栋房子'这命题,房子是个 result。") chinese_format.kif 1895-1896 resultinstrumentdisjoint では
(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 2550-2552 resultinstrumentdisjoint では
(documentation result JapaneseLanguage "(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。 例:家は次の命題の result である: エリックは家を建てた。") japanese_format.kif 521-522 resultinstrumentdisjoint では
(domain result 1 Process) Merge.kif 2547-2547 result の数値 1 引数は 工程instance では
(domain result 2 Entity) Merge.kif 2548-2548 result の数値 2 引数は エンティティーinstance では
(instance result CaseRole) Merge.kif 2545-2545 result格役割instance では
(instance result PartialValuedRelation) Merge.kif 2546-2546 result部分的価値関係instance では
(subrelation result patient) Merge.kif 2544-2544 resultpatientsubrelation では

appearance as argument number 2
-------------------------


(disjointRelation resource result) Merge.kif 2509-2509 resourceresultdisjoint では
(format ChineseLanguage result "%2 %n 是 %1 的 result") chinese_format.kif 183-183 resourceresultdisjoint では
(format EnglishLanguage result "%2 is %n a result of %1") english_format.kif 184-184 resourceresultdisjoint では
(format FrenchLanguage result "%2 est %n le resultat de %1") french_format.kif 111-111 resourceresultdisjoint では
(format ItalianLanguage result "%2 è %n un risultato di %1") relations-it.txt 257-257 resourceresultdisjoint では
(format JapaneseLanguage result "%2 は %1 の result では %n") japanese_format.kif 1940-1940 resourceresultdisjoint では
(format PortugueseLanguage result "%2 e' %n o resultado de %1") portuguese_format.kif 63-63 resourceresultdisjoint では
(format cz result "%2 %p{je} %n{nen�} v�sledkem %1") relations-cz.txt 87-87 resourceresultdisjoint では
(format de result "%2 ist ein resultat von %1 %n{nicht}") relations-de.txt 232-232 resourceresultdisjoint では
(format hi result "%2 %1 kaa pariNaama %n hai") relations-hindi.txt 294-294 resourceresultdisjoint では
(format ro result "%2 %n{nu} este un result%t{rezultat} al lui %1") relations-ro.kif 130-130 resourceresultdisjoint では
(format sv result "%2 är %n{inte} ett resultat av %1") relations-sv.txt 116-116 resourceresultdisjoint では
(format tg result "%2 %n ay ang hangga ng %1") relations-tg.txt 449-449 resourceresultdisjoint では
(termFormat ChineseLanguage result "结果") chinese_format.kif 184-184 resourceresultdisjoint では
(termFormat ChineseTraditionalLanguage result "結果") domainEnglishFormat.kif 49799-49799 resourceresultdisjoint では
(termFormat EnglishLanguage result "result") domainEnglishFormat.kif 49798-49798 resourceresultdisjoint では
(termFormat de result "resultat") terms-de.txt 73-73 resourceresultdisjoint では

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 12605-12612 工程組み合わせinstance では オブジェクト 工程resource では エンティティー 工程result では オブジェクト エンティティーpart では は 工程time の existence の beginningduring holds オブジェクト エンティティーpart では は 工程time の existence の endduring holds
(=>
    (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 12967-12971
(=>
    (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 12181-12197
(=>
    (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 12686-12695
(=>
    (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 10963-10971
(=>
    (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
-------------------------


(<=>
    (and
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO1))
    (exists (?OBJ2 ?INFO2)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO2)
            (equal ?INFO1 ?INFO2))))
Mid-level-ontology.kif 28230-28241 工程Photocopyinginstance では ContentBearingPhysical 工程patient では ContentBearingPhysicalVisualContentBearingObjectinstance では ContentBearingPhysical 命題 の情報を contains ContentBearingPhysical 命題 ContentBearingPhysical 工程result では ContentBearingPhysicalVisualContentBearingObjectinstance では ContentBearingPhysical 命題 の情報を contains 命題 命題equal では
(<=>
    (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 7415-7425 エンティティーConjugatedSubstanceinstance では オブジェクト オブジェクト and 工程 オブジェクト合成物質instance では オブジェクト合成物質instance では オブジェクト オブジェクトequal では 工程化学合成instance では オブジェクト 工程resource では オブジェクト 工程resource では エンティティー 工程result では
(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F ?YEAR)
        (and
            (overlapsTemporally
                (WhenFn ?F) ?YEAR)
            (instance ?YEAR
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 961-968 yearOfFounding 組織 and 整数 工程 整数EAR 整数EAR は 工程time の existence と overlaps 整数EAR は 整数 year 目 の instance では 工程Foundinginstance では 組織 工程result では
(=>
    (actedIn ?ACTOR ?O)
    (exists (?PERF)
        (and
            (instance ?PERF DramaticActing)
            (patient ?PERF ?ACTOR)
            (result ?PERF ?O))))
Mid-level-ontology.kif 22369-22375
(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (result ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))
Merge.kif 17492-17505
(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))
Economy.kif 4532-4541
(=>
    (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 ?C Crushing)
        (patient ?C ?O)
        (instance ?O Object))
    (exists (?SC)
        (and
            (result ?C ?SC)
            (instance ?SC ShapeChange)
            (patient ?SC ?O))))
Food.kif 995-1004
(=>
    (and
        (instance ?C Curdling)
        (patient ?C ?X)
        (instance ?X Colloid))
    (exists (?S ?A)
        (and
            (instance ?S Separating)
            (subProcess ?S ?C)
            (patient ?S ?X)
            (result ?S ?A)
            (piece ?A ?X)
            (instance ?A Substance))))
Food.kif 3206-3218
(=>
    (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 9932-9942
(=>
    (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 20950-20963
(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM ?OBJ)
        (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 10347-10362
(=>
    (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 85-94
(=>
    (and
        (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
        (patient ?DISMANTLE ?WEAPON))
    (exists (?DEVELOP)
        (and
            (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
            (result ?DEVELOP ?WEAPON)
            (earlier
                (WhenFn ?DEVELOP)
                (WhenFn ?DISMANTLE)))))
WMD.kif 750-758
(=>
    (and
        (instance ?FM FoamingMilk)
        (instance ?M ProcessedMilk)
        (patient ?FM ?M))
    (exists (?H ?A ?B)
        (and
            (instance ?H Heating)
            (patient ?H ?M)
            (instance ?A Aerating)
            (patient ?A ?M)
            (result ?A ?B)
            (instance ?B Bubble)
            (during
                (WhenFn ?A)
                (WhenFn ?H)))))
Food.kif 1191-1206
(=>
    (and
        (instance ?G Gaslighting)
        (agent ?G ?A)
        (suffers ?G ?H))
    (exists (?P)
        (and
            (instance ?P Perception)
            (experiencer ?P ?H)
            (causesProposition
                (suffers ?G ?H)
                (not
                    (knows ?H
                        (result ?P ?R)))))))
Medicine.kif 3668-3681
(=>
    (and
        (instance ?G Gene)
        (located ?G ?C)
        (instance ?C Cell))
    (exists (?B ?N ?R)
        (and
            (instance ?B BiologicalProcess)
            (eventLocated ?B ?C)
            (origin ?B ?G)
            (result ?B ?N)
            (instance ?N Nucleotide)
            (part ?N ?R)
            (instance ?R RNAMolecule)
            (located ?R ?C))))
VirusProteinAndCellPart.kif 661-675
(=>
    (and
        (instance ?G Grinding)
        (patient ?G ?O)
        (instance ?O CorpuscularObject))
    (holdsDuring
        (EndFn
            (WhenFn ?G))
        (exists (?C)
            (and
                (result ?G ?C)
                (instance ?C Collection)
                (forall (?M)
                    (=>
                        (member ?M ?C)
                        (part ?M ?O)))))))
Food.kif 1013-1027
(=>
    (and
        (instance ?L Laceration)
        (instance ?S Skin)
        (equal ?S
            (HoleHostFn ?L))
        (part ?S ?H))
    (exists (?P)
        (and
            (instance ?P Poking)
            (result ?P ?L))))
Medicine.kif 6235-6244
(=>
    (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 1732-1742
(=>
    (and
        (instance ?P ForestProduct)
        (instance ?M Manufacture)
        (result ?M ?P)
        (patient ?M ?X)
        (instance ?X Organism))
    (exists (?A ?F)
        (and
            (instance ?A Agriculture)
            (result ?A ?X)
            (eventLocated ?A ?F)
            (instance ?F Forest))))
Economy.kif 5551-5563
(=>
    (and
        (instance ?P Putting)
        (patient ?P ?S)
        (instance ?S Spice)
        (destination ?P ?F)
        (instance ?F PreparedFood))
    (exists (?C ?A)
        (and
            (instance ?C InternalChange)
            (patient ?C ?F)
            (result ?C ?A)
            (attribute ?F ?A)
            (or
                (instance ?A FlavourAttribute)
                (instance ?A ColorAttribute)))))
Economy.kif 4722-4737
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 16962-16970

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 3.0 is open source software produced by Articulate Software and its partners