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 containsInformation 和 realization 是 represents 的子关系。注： represents 是 refers 的子关系，因为只有当一样东西在引用另一样东西时，才能描述这件东西。可参考 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 4456-4462
(documentation represents JapaneseLanguage "非常に一般的な記号論 Predicate。 (represents ?THING ?ENTITY) とは、?THING が何らかの方法で?ENTITYに対して示し、表現、意味、 描写、記述などすることを意味する。　Predicates containsInformation と　realization は represents の　サブリファリレーションである。 注：represents は、refers の　サブリレー ションである。それがこの他のものを参照している場合にのみ何かが他のものを表すことができるのからであ る。names のドキュメント文字列を参照。") japanese_format.kif 823-828
(domain represents 1 Entity) Merge.kif 4453-4453 表示 的 1 数量 是 实体 的 instance
(domain represents 2 Entity) Merge.kif 4454-4454 表示 的 2 数量 是 实体 的 instance
(instance represents BinaryPredicate) Merge.kif 4452-4452 表示 是 二元谓语 的 instance
(subrelation represents refers) Merge.kif 4451-4451 表示 是 提到 的 subrelation

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
(format FrenchLanguage represents "%1 %n{ne} d�finie %n{pas} %2") french_format.kif 133-133
(format ItalianLanguage represents "%1 esprime %2") relations-it.txt 253-253
(format JapaneseLanguage represents "%1 は %2 を express%p{es} %n{ない}") japanese_format.kif 1962-1962
(format PortugueseLanguage represents "%1 %n{nao} define %n %2") portuguese_format.kif 85-85
(format de represents "%1 drueckt %2 aus") relations-de.txt 296-296
(format hi represents "%1 %2 ko abhivyakta karataa hai") relations-hindi.txt 290-290
(format ro represents "%1 %n{nu} express%t{reprezinã} %2") relations-ro.kif 152-152
(format sv represents "%1 uttrycker %n{inte} %2") relations-sv.txt 138-138
(format tg represents "%1 ay nagtatanto %2") relations-tg.txt 445-445
(subrelation abstractCounterpart represents) Merge.kif 6114-6114 abstractCounterpart 是 表示 的 subrelation
(subrelation anthem represents) Music.kif 349-349 anthem 是 表示 的 subrelation
(subrelation cardCode represents) FinancialOntology.kif 3498-3498 卡代码 是 表示 的 subrelation
(subrelation conforms represents) Mid-level-ontology.kif 26956-26956 conforms 是 表示 的 subrelation
(subrelation containsInformation represents) Merge.kif 1356-1356 包含信息 是 表示 的 subrelation
(subrelation hardwareType represents) QoSontology.kif 1020-1020 硬件类型 是 表示 的 subrelation
(subrelation implementsProtocol represents) ComputingBrands.kif 4050-4050 implementsProtocol 是 表示 的 subrelation
(subrelation pin represents) FinancialOntology.kif 3537-3537 销 是 表示 的 subrelation
(subrelation productBrand represents) Hotel.kif 1301-1301 productBrand 是 表示 的 subrelation
(subrelation productModel represents) QoSontology.kif 14-14 产品型号 是 表示 的 subrelation
(subrelation realization represents) Merge.kif 4596-4596 体现 是 表示 的 subrelation
(subrelation record represents) Mid-level-ontology.kif 14349-14349 record 是 表示 的 subrelation
(termFormat ChineseLanguage represents "代表") domainEnglishFormat.kif 49534-49534

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?AGREEMENT InternationalAgreement)
        (instance ?COMMITTING Committing)
        (represents ?COMMITTING ?AGREEMENT))
    (exists (?AGENT)
        (and
            (agent ?COMMITTING ?AGENT)
            (instance ?AGENT Nation))))		 Geography.kif 3001-3009
(=>
    (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 2426-2435

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


(=>
    (albumCoverImage ?A ?I)
    (represents ?I ?A))		 Music.kif 312-314
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 531-537
(=>
    (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 3187-3193
(=>
    (and
        (instance ?EXPRESS Expressing)
        (agent ?EXPRESS ?AGENT))
    (exists (?STATE)
        (and
            (instance ?STATE StateOfMind)
            (attribute ?AGENT ?STATE)
            (represents ?EXPRESS ?STATE))))		 Merge.kif 13162-13170
(=>
    (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 3025-3032
(=>
    (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 250-264
(=>
    (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 280-296
(=>
    (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 27006-27032
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 569-575
(=>
    (and
        (userIDString ?STRING ?ACCOUNT)
        (hasAccount ?USER ?ACCOUNT))
    (represents ?STRING ?USER))		 UXExperimentalTerms.kif 1099-1103
(=>
    (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
(=>
    (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 ?BPROC)
        (and
            (instance ?WEBPAGE WebPage)
            (subString ?WEBPAGE ?SITE)
            (instance ?ACCESSING AccessingWebPage)
            (instance ?AGENT AutonomousAgent)
            (agent ?ACCESSING ?AGENT)
            (programRunning ?BPROC ?BROWSER)
            (causes ?BPROC ?ACCESSING)
            (destination ?ACCESSING ?WEBPAGE)
            (represents ?STRING ?AGENT))))		 UXExperimentalTerms.kif 736-748
(=>
    (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 171-173
(=>
    (codeMapping ?MAP ?TOKEN ?X)
    (represents ?TOKEN ?X))		 Media.kif 2272-2274
(=>
    (contestParticipantRepresentation ?CONT ?AGENT ?OBJ)
    (holdsDuring
        (WhenFn ?CONT)
        (represents ?AGENT ?OBJ)))		 Music.kif 1109-1113
(=>
    (evidence ?LA ?P)
    (exists (?A ?PROP)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))		 Law.kif 180-188
(=>
    (experimentID ?STRING ?EXP)
    (represents ?STRING ?USER))		 UXExperimentalTerms.kif 4024-4026
(=>
    (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 21210-21219

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