represents

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


(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))
Mid-level-ontology.kif 2364-2369
(=>
    (instance ?AD HumanDoll)
    (exists (?H)
        (and
            (instance ?H Human)
            (represents ?AD ?H))))
Mid-level-ontology.kif 2375-2380
(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)
            (and
                (instance ?QUERY SearchQuery)
                (instance ?SEARCHATTEMPT SearchAttempt)
                (represents ?QUERY ?SEARCHATTEMPT)
                (patient ?BM ?QUERY)
                (instance ?AGENT Agent)
                (patient ?SEARCHATTEMPT ?OBJECT)
                (agent ?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2511-2522
(=>
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (desires ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))
UXExperimentalTerms.kif 2806-2815
(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))
Mid-level-ontology.kif 2219-2224
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 12884-12890
(=>
    (instance ?COMPACT Agreement)
    (exists (?COMM)
        (and
            (instance ?COMM Committing)
            (represents ?COMM ?COMPACT))))
Mid-level-ontology.kif 13431-13436
(=>
    (instance ?COPY Photocopying)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 Object)
            (instance ?OBJ2 VisualContentBearingObject)
            (patient ?COPY ?OBJ1)
            (result ?COPY ?OBJ2)
            (represents ?OBJ2 ?OBJ1))))
Mid-level-ontology.kif 25695-25703
(=>
    (instance ?CP ComputerProtocol)
    (hasPurpose ?CP
        (exists (?P1 ?P2 ?C)
            (and
                (instance ?P1 ComputerProgram)
                (instance ?P2 ComputerProgram)
                (instance ?C DataTransfer)
                (origin ?C ?P1)
                (destination ?C ?P2)
                (represents ?CP ?C)))))
ComputingBrands.kif 1704-1714
(=>
    (instance ?D Doll)
    (exists (?A)
        (and
            (instance ?A Agent)
            (represents ?D ?A))))
Mid-level-ontology.kif 2353-2358
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?FORMULA ?RESULT)
        (and
            (instance ?RESULT Formula)
            (result ?EXPERIMENT ?RESULT)
            (instance ?FORMULA Formula)
            (patient ?EXPERIMENT ?FORMULA)
            (represents
                (ProbabilityFn ?FORMULA) ?RESULT))))
UXExperimentalTerms.kif 4007-4017
(=>
    (instance ?F FolderIcon)
    (hasPurpose ?F
        (exists (?CD)
            (and
                (instance ?CD ComputerDirectory)
                (represents ?F ?CD)))))
ComputingBrands.kif 2983-2989
(=>
    (instance ?G GUIDock)
    (exists (?I ?P ?CP)
        (and
            (instance ?CP ComputerProgram)
            (programRunning ?P ?CP)
            (instance ?I Icon)
            (represents ?I ?P)
            (orientation ?I ?G Inside))))
ComputingBrands.kif 2512-2520
(=>
    (instance ?GAME VideoGame)
    (exists (?VIDEO)
        (and
            (instance ?VIDEO VideoRecording)
            (represents ?VIDEO ?GAME))))
Mid-level-ontology.kif 25243-25248
(=>
    (instance ?M AcrossVariableAccumulator)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 533-538
(=>
    (instance ?M Dissipator)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 834-839
(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C CapacitorElement)
            (represents ?M ?C))))
engineering.kif 540-545
(=>
    (instance ?M ElectricalTwopole)
    (exists (?C)
        (and
            (instance ?C InductorElement)
            (represents ?M ?C))))
engineering.kif 558-563
(=>
    (instance ?M ElectricalTwopole)
    (exists (?R)
        (and
            (instance ?R ResistorElement)
            (represents ?M ?R))))
engineering.kif 841-846
(=>
    (instance ?M Map)
    (exists (?A)
        (and
            (instance ?A GeographicArea)
            (represents ?M ?A))))
Mid-level-ontology.kif 12749-12754
(=>
    (instance ?M ThroughVariableAccumulator)
    (exists (?I)
        (and
            (instance ?I InductorElement)
            (represents ?M ?I))))
engineering.kif 551-556
(=>
    (instance ?M Twoport)
    (exists (?T)
        (and
            (instance ?T Transducer)
            (represents ?M ?T))))
engineering.kif 589-594
(=>
    (instance ?MO MilitaryOperation)
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (represents ?PLAN ?MO))))
Military.kif 25-30
(=>
    (instance ?OBJ ContentBearingPhysical)
    (exists (?THING)
        (represents ?OBJ ?THING)))
Merge.kif 1264-1267
(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))
Mid-level-ontology.kif 3101-3106

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