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

Formal Language: 



KB Term:  Term intersection
English Word: 

  represents

Sigma KEE - represents
represents

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


(documentation represents ChineseLanguage "这是一个十分概括的符号 Predicate, (represents ?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、 想象和形容 ?ENTITY等等。 Predicate containsInformationrealizationrepresents 的子关系。注: representsrefers 的子关系,因为只有当一样东西在引用另一样东西时,才能描述这件东西。可参考 names 的文档字符串。") chinese_format.kif 2164-2168
(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 4367-4373
(instance represents BinaryPredicate) Merge.kif 4365-4365 represents is an instance of binary predicate
(subrelation represents refers) Merge.kif 4364-4364 represents is a subrelation of refers

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


(format ChineseLanguage represents "%1 %n{doesn't} 表达 %2") chinese_format.kif 227-227
(format EnglishLanguage represents "%1 %n{doesn't} express%p{es} %2") english_format.kif 228-228
(subrelation abstractCounterpart represents) Merge.kif 6025-6025 abstractCounterpart is a subrelation of represents
(subrelation anthem represents) Music.kif 348-348 anthem is a subrelation of represents
(subrelation cardCode represents) FinancialOntology.kif 3502-3502 card code is a subrelation of represents
(subrelation conforms represents) Mid-level-ontology.kif 26387-26387 conforms is a subrelation of represents
(subrelation containsInformation represents) Merge.kif 1317-1317 contains information is a subrelation of represents
(subrelation hardwareType represents) QoSontology.kif 1018-1018 hardware type is a subrelation of represents
(subrelation implementsProtocol represents) ComputingBrands.kif 4013-4013 implements protocol is a subrelation of represents
(subrelation pin represents) FinancialOntology.kif 3541-3541 pin is a subrelation of represents
(subrelation productBrand represents) Hotel.kif 1301-1301 product brand is a subrelation of represents
(subrelation productModel represents) QoSontology.kif 14-14 product model is a subrelation of represents
(subrelation realization represents) Merge.kif 4507-4507 realization is a subrelation of represents
(subrelation record represents) Mid-level-ontology.kif 13841-13841 record is a subrelation of represents
(termFormat ChineseLanguage represents "代表") domainEnglishFormat.kif 49515-49515
(termFormat ChineseLanguage represents "表示") chinese_format.kif 228-228
(termFormat ChineseTraditionalLanguage represents "代表") domainEnglishFormat.kif 49514-49514
(termFormat EnglishLanguage represents "represents") domainEnglishFormat.kif 49513-49513

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


(=>
    (and
        (instance ?AGREEMENT InternationalAgreement)
        (instance ?COMMITTING Committing)
        (represents ?COMMITTING ?AGREEMENT))
    (exists (?AGENT)
        (and
            (agent ?COMMITTING ?AGENT)
            (instance ?AGENT Nation))))
Geography.kif 2923-2931
(=>
    (and
        (instance ?LOGO Logo)
        (represents ?LOGO ?OBJ))
    (or
        (instance ?OBJ AutonomousAgent)
        (instance ?OBJ Product)))
Media.kif 895-901
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
(=>
    (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
(=>
    (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 2636-2645

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


(=>
    (albumCoverImage ?A ?I)
    (represents ?I ?A))
Music.kif 311-313
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))
UXExperimentalTerms.kif 664-670
(=>
    (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 ?CM AirlineCodeMap)
        (codeMapping ?CM ?STR ?AIR))
    (and
        (instance ?AIR Airline)
        (represents ?STR ?AIR)))
Transportation.kif 3134-3140
(=>
    (and
        (instance ?EXPRESS Expressing)
        (agent ?EXPRESS ?AGENT))
    (exists (?STATE)
        (and
            (instance ?STATE StateOfMind)
            (attribute ?AGENT ?STATE)
            (represents ?EXPRESS ?STATE))))
Merge.kif 12889-12897
(=>
    (and
        (instance ?OBJ DigitalDataStorageDevice)
        (part ?PART ?OBJ)
        (instance ?PART DigitalData))
    (exists (?SCHEME ?LIST ?NUM)
        (and
            (codeMapping ?SCHEME ?PART ?NUM)
            (represents ?LIST ?SCHEME)
            (=>
                (inList ?NUM ?LIST)
                (instance ?NUM BinaryNumber)))))
Media.kif 801-812
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2947-2954
(=>
    (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 26459-26485
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))
UXExperimentalTerms.kif 706-712
(=>
    (and
        (userIDString ?STRING ?ACCOUNT)
        (hasAccount ?USER ?ACCOUNT))
    (represents ?STRING ?USER))
UXExperimentalTerms.kif 1296-1300
(=>
    (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 203-232
(=>
    (brandIcon ?BRAND ?ICON)
    (exists (?AGENT)
        (and
            (managedBy ?BRAND ?AGENT)
            (managedBy ?ICON ?AGENT)
            (represents ?ICON ?BRAND))))
Hotel.kif 1319-1325
(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (exists (?WEBPAGE ?ACCESSING ?AGENT)
        (and
            (instance ?WEBPAGE WebPage)
            (component ?WEBPAGE ?SITE)
            (instance ?ACCESSING AccessingWebPage)
            (instance ?AGENT AutonomousAgent)
            (agent ?ACCESSING ?AGENT)
            (instrument ?ACCESSING ?BROWSER)
            (destination ?ACCESSING ?WEBPAGE)
            (represents ?STRING ?AGENT))))
UXExperimentalTerms.kif 921-932
(=>
    (capacityByArrangement ?AREA ?PROP ?INT)
    (=>
        (represents ?AREA ?PROP)
        (modalAttribute
            (exists (?GRP ?PPL)
                (and
                    (instance ?GRP GroupOfPeople)
                    (memberCount ?GRP ?PPL)
                    (lessThanOrEqualTo ?PPL ?INT)
                    (located ?GRP ?AREA))) Possibility)))
Hotel.kif 790-800
(=>
    (categoryID ?STRING ?CAT)
    (represents ?STRING ?USER))
UXExperimentalTerms.kif 214-216
(=>
    (codeMapping ?MAP ?TOKEN ?X)
    (represents ?TOKEN ?X))
Media.kif 2258-2260
(=>
    (contestParticipantRepresentation ?CONT ?AGENT ?OBJ)
    (holdsDuring
        (WhenFn ?CONT)
        (represents ?AGENT ?OBJ)))
Music.kif 1107-1111
(=>
    (evidence ?LA ?P)
    (exists (?A)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))
Law.kif 223-231
(=>
    (experimentID ?STRING ?EXP)
    (represents ?STRING ?USER))
UXExperimentalTerms.kif 4233-4235
(=>
    (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 20586-20595
(=>
    (instance ?ACCOUNT HistoricalAccount)
    (exists (?EVENT)
        (and
            (represents ?ACCOUNT ?EVENT)
            (earlier
                (WhenFn ?EVENT)
                (WhenFn ?ACCOUNT)))))
Mid-level-ontology.kif 14406-14411
(=>
    (instance ?ACTION UserDirectAction)
    (exists (?SIG_ACTION)
        (and
            (represents ?ACTION ?SIG_ACTION)
            (instance ?SIG_ACTION UserSignifiedAction))))
ComputerInput.kif 1208-1213

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show without tree


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