Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - represents
represents

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


(subrelation represents refers) Merge.kif 4564-4564 represents is a subrelation of refers
(instance represents BinaryPredicate) Merge.kif 4565-4565 represents is an instance of binary predicate
(domain represents 1 Entity) Merge.kif 4566-4566 The number 1 argument of represents is an instance of entity
(domain represents 2 Entity) Merge.kif 4567-4567 The number 2 argument of represents is an instance of entity
(documentation represents EnglishLanguage "A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing. See the documentation string for names.") Merge.kif 4569-4575 The number 2 argument of represents is an instance of entity

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


(subrelation containsInformation represents) Merge.kif 1445-1445 contains information is a subrelation of represents
(subrelation realization represents) Merge.kif 4710-4710 realization is a subrelation of represents
(subrelation abstractCounterpart represents) Merge.kif 6232-6232 abstract counterpart is a subrelation of represents
(subrelation record represents) Mid-level-ontology.kif 15926-15926 record is a subrelation of represents
(subrelation conforms represents) Mid-level-ontology.kif 29517-29517 conforms is a subrelation of represents
(subrelation implementsProtocol represents) ComputingBrands.kif 3956-3956 implements protocol is a subrelation of represents
(subrelation cardCode represents) FinancialOntology.kif 3556-3556 card code is a subrelation of represents
(subrelation pin represents) FinancialOntology.kif 3595-3595 pin is a subrelation of represents
(subrelation productBrand represents) Hotel.kif 1309-1309 product brand is a subrelation of represents
(subrelation anthem represents) Music.kif 351-351 anthem is a subrelation of represents
(subrelation productModel represents) QoSontology.kif 14-14 product model is a subrelation of represents
(subrelation hardwareType represents) QoSontology.kif 1116-1116 hardware type is a subrelation of represents
(termFormat EnglishLanguage represents "represents") domainEnglishFormat.kif 49527-49527 hardware type is a subrelation of represents
(termFormat ChineseTraditionalLanguage represents "代表") domainEnglishFormat.kif 49528-49528 hardware type is a subrelation of represents
(termFormat ChineseLanguage represents "代表") domainEnglishFormat.kif 49529-49529 hardware type is a subrelation of represents
(format EnglishLanguage represents "%1 %n{doesn't} express%p{es} %2") english_format.kif 228-228 hardware type is a subrelation of represents

antecedent
-------------------------


(=>
    (and
        (instance ?USER1 SocialNetworkingUser)
        (birthday ?USER1 ?CLASS)
        (instance ?DAY ?CLASS)
        (instance ?AUTONOTIFY AutomatedNotificationSystem)
        (agent ?PROCESS ?AUTONOTIFY)
        (result ?PROCESS ?BIRTHDAYNOTIFICATION)
        (instance ?BIRTHDAYNOTIFICATION BirthdayNotification)
        (represents ?BIRTHDAYNOTIFICATION ?USER1))
    (holdsDuring ?DAY
        (forall (?USER2)
            (=>
                (and
                    (instance ?USER2 SocialNetworkingUser)
                    (connectedInSocialNetwork ?USER1 ?USER2))
                (destination ?PROCESS ?USER2)))))		 Facebook.kif 723-739 If All of the following hold: (1) X is an instance of social networking user (2) X's birthday is Y (3) Z is an instance of Y (4) W is an instance of automated notification system (5) W is an agent of V (6) U is a result of V (7) U is an instance of birthday notification (8) U expresses X, then For all Entity T: if T is an instance of social networking user and connected in social network X and T, then V ends up at T
(=>
    (and
        (instance ?AGREEMENT InternationalAgreement)
        (instance ?COMMITTING Committing)
        (represents ?COMMITTING ?AGREEMENT))
    (exists (?AGENT)
        (and
            (agent ?COMMITTING ?AGENT)
            (instance ?AGENT Nation))))		 Geography.kif 4433-4441 If X is an instance of international agreement, Y is an instance of committing, and Y expresses X, then there exists Z such that Z is an agent of Y and Z is an instance of nation
(=>
    (and
        (instance ?LOGO Logo)
        (represents ?LOGO ?OBJ))
    (or
        (instance ?OBJ AutonomousAgent)
        (instance ?OBJ Product)))		 Media.kif 886-892 If X is an instance of logo and X expresses Y, then Y is an instance of agent or Y is an instance of product
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNING ?CBO)
            (earlier
                (BeginFn
                    (WhenFn ?PLANNING))
                (BeginFn
                    (WhenFn ?PROC)))
            (earlier
                (EndFn
                    (WhenFn ?PLANNING))
                (EndFn
                    (WhenFn ?PROC))))))		 Military.kif 32-44 If X is an instance of plan, Y is an instance of process, and X expresses Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of planning (3) W is an instance of content bearing physical (4) W contains information X (5) W is a result of Z (6) the beginning of the time of existence of Z happens earlier than the beginning of the time of existence of Y (7) the end of the time of existence of Z happens earlier than the end of the time of existence of Y
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))		 MilitaryProcesses.kif 1816-1822 If X is an instance of OPLAN, X expresses Y, Y is an instance of military operation, and Z is a subprocess of Y, then X expresses Z
(=>
    (and
        (instance ?QUERY SearchQuery)
        (instance ?SEARCHATTEMPT SearchAttempt)
        (represents ?QUERY ?SEARCHATTEMPT))
    (exists (?AGENT ?OBJ)
        (and
            (instance ?AGENT AutonomousAgent)
            (patient ?SEARCHATTEMPT ?OBJ)
            (agent ?SEARCHATTEMPT ?AGENT))))		 UXExperimentalTerms.kif 2427-2436 If X is an instance of Search query, Y is an instance of search attempt, and X expresses Y, then there exist Z, W such that Z is an instance of agent, W is a patient of Y, and Z is an agent of Y

consequent
-------------------------


(=>
    (instance ?OBJ ContentBearingPhysical)
    (exists (?THING)
        (represents ?OBJ ?THING)))		 Merge.kif 1401-1404 If X is an instance of content bearing physical, then there exists Y such that X expresses Y
(=>
    (representsForAgent ?REP ?ENTITY ?AGENT)
    (represents ?REP ?ENTITY))		 Merge.kif 4586-4588 If X uses Y to stand for Z, then Y expresses Z
(=>
    (and
        (instance ?EXPRESS Expressing)
        (agent ?EXPRESS ?AGENT))
    (exists (?STATE)
        (and
            (instance ?STATE StateOfMind)
            (attribute ?AGENT ?STATE)
            (represents ?EXPRESS ?STATE))))		 Merge.kif 13415-13423 If X is an instance of expressing and Y is an agent of X, then there exists Z such that Z is an instance of state of mind, Z is an attribute of Y, and X expresses Z
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))		 Merge.kif 13429-13435 If X is an instance of linguistic communication, then there exists Y such that X expresses Y, Y is an instance of linguistic expression, and Y is a patient of X
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))		 Merge.kif 16189-16194 If X is an instance of representational art work, then there exists Y such that Y is an instance of physical and X expresses Y
(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))		 Mid-level-ontology.kif 2863-2868 If X is an instance of compass, then there exists Y such that Y is an instance of directional attribute and X expresses Y
(=>
    (instance ?D Doll)
    (exists (?A)
        (and
            (instance ?A AutonomousAgent)
            (represents ?D ?A))))		 Mid-level-ontology.kif 2997-3002 If X is an instance of doll, then there exists Y such that Y is an instance of agent and X expresses Y
(=>
    (instance ?AD AnimalDoll)
    (exists (?A)
        (and
            (instance ?A Animal)
            (represents ?AD ?A))))		 Mid-level-ontology.kif 3008-3013 If X is an instance of toy animal, then there exists Y such that Y is an instance of animal and X expresses Y
(=>
    (instance ?AD HumanDoll)
    (exists (?H)
        (and
            (instance ?H Human)
            (represents ?AD ?H))))		 Mid-level-ontology.kif 3019-3024 If X is an instance of human doll, then there exists Y such that Y is an instance of human and X expresses Y
(=>
    (instance ?TH ToyHouse)
    (exists (?H)
        (and
            (instance ?H House)
            (represents ?TH ?H))))		 Mid-level-ontology.kif 3030-3035 If X is an instance of toy house, then there exists Y such that Y is an instance of house and X expresses Y
(=>
    (instance ?P Portrait)
    (exists (?F)
        (and
            (instance ?F Face)
            (represents ?P ?F))))		 Mid-level-ontology.kif 3757-3762 If X is an instance of portrait, then there exists Y such that Y is an instance of face and X expresses Y
(=>
    (instance ?PLAN Blueprint)
    (hasPurpose ?PLAN
        (exists (?ARTIFACT)
            (and
                (instance ?ARTIFACT Artifact)
                (represents ?PLAN ?ARTIFACT)))))		 Mid-level-ontology.kif 14797-14803 If X is an instance of blueprint, then X has the purpose there exists Y such that Y is an instance of artifact and X expresses Y
(=>
    (instance ?M Map)
    (exists (?A)
        (and
            (instance ?A GeographicArea)
            (represents ?M ?A))))		 Mid-level-ontology.kif 14852-14857 If X is an instance of map, then there exists Y such that Y is an instance of geographic area and X expresses Y
(=>
    (instance ?COMPACT Agreement)
    (exists (?COMM)
        (and
            (instance ?COMM Committing)
            (represents ?COMM ?COMPACT))))		 Mid-level-ontology.kif 15566-15571 If X is an instance of agreement, then there exists Y such that Y is an instance of committing and Y expresses X
(=>
    (instance ?X AudioRecording)
    (exists (?EV)
        (and
            (instance ?EV RadiatingSound)
            (represents ?X ?EV)
            (capability RadiatingSound patient ?X))))		 Mid-level-ontology.kif 15910-15916 If X is an instance of audio recording, then there exists Y such that Y is an instance of radiating sound, X expresses Y, and X is capable of doing radiating sound as a patient
(=>
    (instance ?X VideoRecording)
    (exists (?EV)
        (and
            (instance ?EV Process)
            (represents ?X ?EV)
            (capability RadiatingLight patient ?X))))		 Mid-level-ontology.kif 16038-16044 If X is an instance of video recording, then there exists Y such that Y is an instance of process, X expresses Y, and X is capable of doing radiating light as a patient
(=>
    (instance ?ACCOUNT HistoricalAccount)
    (exists (?EVENT)
        (and
            (represents ?ACCOUNT ?EVENT)
            (earlier
                (WhenFn ?EVENT)
                (WhenFn ?ACCOUNT)))))		 Mid-level-ontology.kif 16495-16500 If X is an instance of historical account, then there exists Y such that X expresses Y and the time of existence of Y happens earlier than the time of existence of X
(=>
    (hasExpertise ?H Architecture)
    (exists (?D ?P ?B)
        (and
            (instance ?D ContentDevelopment)
            (agent ?D ?H)
            (result ?D ?P)
            (instance ?P Blueprint)
            (represents ?P ?B)
            (instance ?B Building))))		 Mid-level-ontology.kif 23388-23397 If architecture has an expertise in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of content development (3) X is an agent of Y (4) Z is a result of Y (5) Z is an instance of blueprint (6) Z expresses W (7) W is an instance of building
(=>
    (instance ?GAME VideoGame)
    (exists (?VIDEO)
        (and
            (instance ?VIDEO VideoRecording)
            (represents ?VIDEO ?GAME))))		 Mid-level-ontology.kif 28448-28453 If X is an instance of videogame, then there exists Y such that Y is an instance of video recording and Y expresses X
(=>
    (instance ?X UniformClothing)
    (exists (?PROC ?DESIGN)
        (and
            (instance ?PROC IntentionalProcess)
            (result ?PROC ?DESIGN)
            (represents ?X ?DESIGN))))		 Mid-level-ontology.kif 29289-29295 If X is an instance of uniform, then there exist Y, Z such that Y is an instance of intentional process, Z is a result of Y, and X expresses Z
(=>
    (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 29567-29593 If All of the following hold: (1) X is an instance of surveillance system (2) X is a member of Y (3) X is a member of Z (4) Y is located at W (5) Y is an instance of camera (6) Z is located at V (7) equal W and V (8) Z is an instance of video display, then All of the following hold: (1) X has the purpose there exist U, T,, , S (2) R such that U is an instance of process (3) U is located at W (4) T expresses U (5) camera is an instrument for R (6) T is a result of R (7) S is an instance of radiating light (8) Z is an instrument for S (9) T is a patient of S (10) the beginning of U happens before the beginning of R (11) the beginning of R happens before the beginning of S
(=>
    (instance ?TEXT BirthCertificate)
    (hasPurpose ?TEXT
        (exists (?B ?A)
            (and
                (instance ?B Birth)
                (instance ?A Human)
                (experiencer ?B ?A)
                (represents ?TEXT ?B)))))		 Biography.kif 246-254 If X is an instance of birth certificate, then X has the purpose there exist Y, Z such that Y is an instance of birth, Z is an instance of human, Z experiences Y, and X expresses Y
(=>
    (and
        (instance ?TEXT BirthCertificate)
        (instance ?B Birth)
        (instance ?A Human)
        (experiencer ?B ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N)
            (and
                (birthdate ?A ?DAY)
                (instance ?DAY Day)
                (birthplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)))))		 Biography.kif 256-270 If X is an instance of birth certificate, Y is an instance of birth, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V (2) U such that W is a birthdate of Z (3) W is an instance of day (4) V is a birthplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name
(=>
    (instance ?TEXT DeathCertificate)
    (hasPurpose ?TEXT
        (exists (?D ?A)
            (and
                (instance ?D Death)
                (instance ?A Human)
                (experiencer ?D ?A)
                (represents ?TEXT ?D)))))		 Biography.kif 277-285 If X is an instance of death certificate, then X has the purpose there exist Y, Z such that Y is an instance of death, Z is an instance of human, Z experiences Y, and X expresses Y
(=>
    (and
        (instance ?TEXT DeathCertificate)
        (instance ?D Death)
        (instance ?A Human)
        (experiencer ?D ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N ?PROC)
            (and
                (deathdate ?A ?DAY)
                (instance ?DAY Day)
                (deathplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)
                (causes ?PROC ?D)
                (instance ?PROC Process)))))		 Biography.kif 287-303 If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(represents ResistorElement Dissipator) engineering.kif 1257-1257 Resistor element expresses dissipator
(represents ResistorElement ElectricalTwopole) engineering.kif 1258-1258 Resistor element expresses electrical twopole


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners