result

-------------------------


(=>
    (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 1184-1194
(=>
    (and
        (instance ?X Photocopier)
        (instrument ?COPY ?X)
        (instance ?COPY Photocopying)
        (patient ?COPY ?OBJ1)
        (instance ?OBJ1 TwoDimensionalObject)
        (instance ?OBJ1 VisualContentBearingObject)
        (containsInformation ?OBJ1 ?INFO))
    (exists (?OBJ2 ?SHEET)
        (and
            (result ?COPY ?OBJ2)
            (instance ?OBJ2 TwoDimensionalObject)
            (instance ?OBJ2 VisualContentBearingObject)
            (containsInformation ?OBJ2 ?INFO)
            (located ?OBJ2 ?SHEET)
            (instance ?SHEET PrintedSheet))))
Mid-level-ontology.kif 26287-26303
(=>
    (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 26961-26987
(=>
    (and
        (measuringResult ?MLIST ?RLIST)
        (equal ?M
            (ListOrderFn ?MLIST ?N))
        (equal ?R
            (ListOrderFn ?RLIST ?N)))
    (result ?M ?R))
Weather.kif 1802-1807
(=>
    (and
        (secretesSubstance ?O ?S)
        (instance ?I1 ?O))
    (exists (?P ?I2)
        (and
            (instance ?P BiologicalProcess)
            (eventLocated ?P ?I1)
            (result ?P ?I2)
            (instance ?I2 ?S))))
Mid-level-ontology.kif 12210-12219
(=>
    (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 14788-14797
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR FoodRating)
        (instance ?ENTITY AutonomousAgent))
    (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 3062-3075
(=>
    (attribute ?F CuredAttribute)
    (exists (?C)
        (and
            (instance ?C CuringFood)
            (result ?C ?F))))
Food.kif 70-75
(=>
    (attribute ?F DryRoastAttribute)
    (exists (?X)
        (and
            (instance ?X DryRoasting)
            (result ?X ?F))))
Food.kif 114-119
(=>
    (attribute ?F HulledAttribute)
    (exists (?X)
        (and
            (instance ?X Hulling)
            (result ?X ?F))))
Food.kif 160-165
(=>
    (attribute ?FOOD CookedAttribute)
    (exists (?PROC1 ?PROC2)
        (and
            (instance ?PROC1 Cooking)
            (instance ?PROC2 Heating)
            (subProcess ?PROC2 ?PROC1)
            (result ?PROC1 ?FOOD))))
Food.kif 37-44
(=>
    (attribute ?FOOD FermentedAttribute)
    (exists (?F)
        (and
            (instance ?F Fermentation)
            (result ?F ?FOOD))))
Food.kif 211-216
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Heating)
                (result ?PROC ?FOOD)))))
Food.kif 55-61
(=>
    (attribute ?H Potter)
    (exists (?M ?P)
        (and
            (instance ?P Pottery)
            (instance ?M Making)
            (agent ?M ?H)
            (result ?M ?P))))
Mid-level-ontology.kif 20866-20873
(=>
    (attribute ?ROOM ThemeRoom)
    (exists (?DESIGN ?PROP)
        (and
            (instance ?DESIGN Designing)
            (result ?DESIGN ?PROP)
            (represents ?ROOM ?PROP))))
Hotel.kif 1088-1094
(=>
    (attribute ?X AeronauticalEngineer)
    (exists (?SKILL)
        (and
            (hasSkill ?SKILL ?X)
            (forall (?P)
                (=>
                    (instance ?P ?SKILL)
                    (or
                        (exists (?CONS ?OBJ ?PT)
                            (and
                                (instance ?CONS Making)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?CONS ?OBJ)
                                (subProcess ?P ?CONS)))
                        (exists (?DESIGN ?PLAN ?OBJ ?PT)
                            (and
                                (instance ?DESIGN Designing)
                                (or
                                    (instance ?OBJ Aircraft)
                                    (and
                                        (instance ?OBJ ?PT)
                                        (typicalPart ?PT Aircraft)))
                                (result ?DESIGN ?PLAN)
                                (represents ?PLAN ?OBJ)
                                (subProcess ?P ?DESIGN)))))))))
Biography.kif 436-465
(=>
    (attribute ?X Fodder)
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X OrganicObject)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))
Mid-level-ontology.kif 20040-20049
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))
Economy.kif 4809-4818
(=>
    (attribute ?X MeanOfProduction)
    (hasPurpose ?X
        (or
            (exists (?MAKE ?PRODUCT)
                (and
                    (instance ?MAKE Making)
                    (involvedInEvent ?MAKE ?X)
                    (not
                        (result ?MAKE ?X))
                    (instance ?PRODUCT Artifact)
                    (result ?MAKE ?PRODUCT)
                    (hasPurpose ?PRODUCT
                        (exists (?SELL)
                            (and
                                (instance ?SELL Selling)
                                (patient ?SELL ?PRODUCT))))))
            (exists (?SERVICE)
                (and
                    (instance ?SERVICE CommercialService)
                    (involvedInEvent ?SERVICE ?X))))))
Economy.kif 5747-5767
(=>
    (attribute ?X TourArrangementAndReservationServices)
    (hasPurpose ?X
        (exists (?PROC ?RESERVE)
            (and
                (instance ?RESERVE TourReservation)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?X)
                (or
                    (result ?PROC ?RESERVE)
                    (patient ?PROC ?RESERVE))))))
Hotel.kif 2336-2346
(=>
    (attribute ?X TravelArrangementAndReservationServices)
    (hasPurpose ?X
        (exists (?PROC ?RESERVE)
            (and
                (instance ?RESERVE TravelReservation)
                (instance ?PROC IntentionalProcess)
                (agent ?PROC ?X)
                (or
                    (result ?PROC ?RESERVE)
                    (patient ?PROC ?RESERVE))))))
naics.kif 10451-10461
(=>
    (attribute ?X Writer)
    (exists (?OBJ ?PROC)
        (and
            (instance ?PROC Writing)
            (or
                (instance ?OBJ Text)
                (instance ?OBJ Document))
            (agent ?PROC ?X)
            (result ?PROC ?OBJ))))
Biography.kif 717-726
(=>
    (authors ?AGENT ?TEXTCLASS)
    (exists (?PROCESS ?INSTANCE)
        (and
            (agent ?PROCESS ?AGENT)
            (instance ?INSTANCE ?TEXTCLASS)
            (result ?PROCESS ?INSTANCE))))
Merge.kif 15488-15494
(=>
    (composer ?A ?M)
    (exists (?C)
        (and
            (instance ?C Creation)
            (agent ?C ?A)
            (result ?C ?M))))
Music.kif 148-154
(=>
    (constructionPeriod ?OBJECT ?INTERVAL)
    (holdsDuring ?INTERVAL
        (exists (?CONSTRUCTING)
            (and
                (instance ?CONSTRUCTING Constructing)
                (result ?CONSTRUCTING ?OBJECT)))))
Mid-level-ontology.kif 20807-20813

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