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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - represents
represents

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


s__documentation(s__represents__m,s__ChineseLanguage,'这是一个十分概括的符号 Predicate， (represents ?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、 想象和形容 ?ENTITY等等。 Predicate containsInformation 和 realization 是 represents 的子关系。注： represents 是 refers 的子关系，因为只有当一样东西在引用另一样东西时，才能描述这件东西。可参考 names 的文档字符串。')

 Merge.kif 4572-4576
s__documentation(s__represents__m,s__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 4565-4571
s__instance(s__BinaryPredicate,s__SetOrClass)

 Merge.kif 4564-4564
s__subrelation(s__represents__m,s__refers__m)

 Merge.kif 4563-4563

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


s__format(s__ChineseLanguage,s__represents__m,'%1 %n{doesnt} 表达 %2')

 chinese_format.kif 227-227
s__format(s__EnglishLanguage,s__represents__m,'%1 %n{doesnt} express%p{es} %2')

 english_format.kif 140-140
s__format(s__FrenchLanguage,s__represents__m,'%1 %n{ne} d�finie %n{pas} %2')

 french_format.kif 133-133
s__format(s__ItalianLanguage,s__represents__m,'%1 esprime %2')

 relations-it.txt 253-253
s__format(s__PortugueseLanguage,s__represents__m,'%1 %n{nao} define %n %2')

 portuguese_format.kif 85-85
s__format(s__ar__m,s__represents__m,'%1 %n{لا} يُعَبِّر عَن %2')

 arabic_format.kif 83-83
s__format(s__de__m,s__represents__m,'%1 drueckt %2 aus')

 relations-de.txt 296-296
s__format(s__hi__m,s__represents__m,'%1 %2 ko abhivyakta karataa hai')

 relations-hindi.txt 290-290
s__format(s__tg__m,s__represents__m,'%1 ay nagtatanto %2')

 relations-tg.txt 445-445
s__subrelation(s__abstractCounterpart__m,s__represents__m)

 Merge.kif 6231-6231
s__subrelation(s__anthem__m,s__represents__m)

 Music.kif 352-352
s__subrelation(s__cardCode__m,s__represents__m)

 FinancialOntology.kif 3389-3389
s__subrelation(s__conforms__m,s__represents__m)

 Mid-level-ontology.kif 25017-25017
s__subrelation(s__containsInformation__m,s__represents__m)

 Merge.kif 1388-1388
s__subrelation(s__hardwareType__m,s__represents__m)

 QoSontology.kif 992-992
s__subrelation(s__pin__m,s__represents__m)

 FinancialOntology.kif 3428-3428
s__subrelation(s__productBrand__m,s__represents__m)

 Hotel.kif 1248-1248
s__subrelation(s__productModel__m,s__represents__m)

 QoSontology.kif 14-14
s__subrelation(s__realization__m,s__represents__m)

 Merge.kif 4721-4721
s__subrelation(s__record__m,s__represents__m)

 Mid-level-ontology.kif 11939-11939
s__termFormat(s__ChineseLanguage,s__represents__m,'表示')

 chinese_format.kif 228-228
s__termFormat(s__EnglishLanguage,s__represents__m,'represents')

 domainEnglishFormat.kif 8679-8679
s__termFormat(s__ar__m,s__represents__m,'«يُعَبِّر عَن»')

 arabic_format.kif 533-533

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


( ! [V__AGREEMENT,V__COMMITTING] :
   ((s__instance(V__AGREEMENT,s__InternationalAgreement) &
       s__instance(V__COMMITTING,s__Committing) &
       s__represents(V__COMMITTING,V__AGREEMENT))
   =>
   (? [V__AGENT] :
     (s__agent(V__COMMITTING,V__AGENT)
     &
     s__instance(V__AGENT,s__Nation))))
)

 Geography.kif 2848-2856
( ! [V__LOGO,V__OBJ] :
   ((s__instance(V__LOGO,s__Logo) &
       s__represents(V__LOGO,V__OBJ))
   =>
   (s__instance(V__OBJ,s__Agent) |
     s__instance(V__OBJ,s__Product)))
)

 Media.kif 895-901
( ! [V__OPLAN,V__OP,V__OPSUB] :
   ((s__instance(V__OPLAN,s__OPLAN) &
       s__represents(V__OPLAN,V__OP)
     &
     s__instance(V__OP,s__MilitaryOperation) &
     s__subProcess(V__OPSUB,V__OP))
=>
s__represents(V__OPLAN,V__OPSUB))
)

 MilitaryProcesses.kif 1762-1768
( ! [V__PLAN,V__PROC,V__PLANNNG] :
   ((s__instance(V__PLAN,s__Plan) &
       s__instance(V__PROC,s__Process) &
       s__represents(V__PLAN,V__PROC))
   =>
   (? [V__PLANNING,V__CBO] :
     (s__instance(V__PLANNING,s__Planning) &
       s__instance(V__CBO,s__ContentBearingPhysical) &
       s__containsInformation(V__CBO,V__PLAN)
     &
     s__result(V__PLANNNG,V__CBO)
   &
   s__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
,s__BeginFn(s__WhenFn(V__PROC)))
&
s__earlier(s__EndFn(s__WhenFn(V__PLANNING))
,s__EndFn(s__WhenFn(V__PROC))))))
)

 Military.kif 32-44
( ! [V__QUERY,V__SEARCHATTEMPT] :
   ((s__instance(V__QUERY,s__SearchQuery) &
       s__instance(V__SEARCHATTEMPT,s__SearchAttempt) &
       s__represents(V__QUERY,V__SEARCHATTEMPT))
   =>
   (? [V__AGENT,V__OBJ] :
     (s__instance(V__AGENT,s__Agent) &
       s__patient(V__SEARCHATTEMPT,V__OBJ)
     &
     s__agent(V__SEARCHATTEMPT,V__AGENT))))
)

 UXExperimentalTerms.kif 2633-2642
No TPTP formula. May not be expressible in strict first order. Facebook.kif 689-704

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


( ! [V__A,V__I] :
   (s__albumCoverImage(V__A,V__I)
   =>
   s__represents(V__I,V__A))
)

 Music.kif 315-317
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-668
( ! [V__MSG,V__TELEX,V__M] :
   ((s__destination(V__MSG,V__TELEX)
     &
     s__instance(V__MSG,s__Messaging) &
     s__patient(V__MSG,V__M)
   &
   s__instance(V__TELEX,s__Telex))
=>
(? [V__PROC,V__TEXT] :
   (s__instrument(V__PROC,V__TELEX)
   &
   s__result(V__PROC,V__TEXT)
&
s__represents(V__TEXT,V__M)
&
s__instance(V__TEXT,s__Text) &
s__before(s__BeginFn(s__WhenFn(V__MSG))
,s__BeginFn(s__WhenFn(V__PROC))))))
)

 Communications.kif 202-214
( ! [V__CM,V__STR,V__AIR] :
   ((s__instance(V__CM,s__AirlineCodeMap) &
       s__codeMapping(V__CM,V__STR,V__AIR))
   =>
   (s__instance(V__AIR,s__Airline) &
     s__represents(V__STR,V__AIR)))
)

 Transportation.kif 3052-3058
( ! [V__EXPRESS,V__AGENT] :
   ((s__instance(V__EXPRESS,s__Expressing) &
       s__agent(V__EXPRESS,V__AGENT))
   =>
   (? [V__STATE] :
     (s__instance(V__STATE,s__StateOfMind) &
       s__attribute(V__AGENT,V__STATE)
     &
     s__represents(V__EXPRESS,V__STATE))))
)

 Merge.kif 13011-13019
( ! [V__OBJ,V__PART,V__NUM] :
   ((s__instance(V__OBJ,s__DigitalDataStorageDevice) &
       s__part(V__PART,V__OBJ)
     &
     s__instance(V__PART,s__DigitalData))
   =>
   (? [V__SCHEME,V__LIST] :
     (s__codeMapping(V__SCHEME,V__PART,V__NUM)
     &
     s__represents(V__LIST,V__SCHEME)
   &
   (s__inList(V__NUM,V__LIST)
   =>
   s__instance(V__NUM,s__BinaryNumber)))))
)

 Media.kif 801-812
( ! [V__OPLAN,V__OP,V__OPSUB] :
   ((s__instance(V__OPLAN,s__OPLAN) &
       s__represents(V__OPLAN,V__OP)
     &
     s__instance(V__OP,s__MilitaryOperation) &
     s__subProcess(V__OPSUB,V__OP))
=>
s__represents(V__OPLAN,V__OPSUB))
)

 MilitaryProcesses.kif 1762-1768
( ! [V__PLAN,V__CBO,V__OP] :
   ((s__instance(V__PLAN,s__OperationPlan) &
       s__instance(V__CBO,s__ContentBearingObject) &
       s__containsInformation(V__CBO,V__PLAN)
     &
     s__instance(V__OP,s__MilitaryOperation) &
     s__result(V__OP,V__CBO))
=>
s__represents(V__PLAN,V__OP))
)

 MilitaryProcesses.kif 1541-1548
( ! [V__PROP,V__CBO,V__COMM] :
   ((s__instance(V__PROP,s__Proposition) &
       s__instance(V__CBO,s__ContentBearingObject) &
       s__containsInformation(V__CBO,V__PROP)
     &
     s__instance(V__COMM,s__Communication) &
     s__patient(V__COMM,V__CBO))
=>
s__represents(V__COMM,V__PROP))
)

 Geography.kif 2871-2878
( ! [V__PROP,V__CBO,V__ER] :
   ((s__instance(V__PROP,s__Proposition) &
       s__instance(V__CBO,s__ContentBearingObject) &
       s__containsInformation(V__CBO,V__PROP)
     &
     s__instance(V__ER,s__ExpenseReport) &
     s__patient(V__ER,V__CBO))
=>
s__represents(V__ER,V__PROP))
)

 TravelPolicies.kif 617-624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25089-25115
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 704-710
( ! [V__STRING,V__ACCOUNT,V__USER] :
   ((s__userIDString(V__STRING,V__ACCOUNT)
     &
     s__hasAccount(V__USER,V__ACCOUNT))
=>
s__represents(V__STRING,V__USER))
)

 UXExperimentalTerms.kif 1296-1300
( ! [V__ROOM] :
   (s__attribute(V__ROOM,s__ThemeRoom) =>
     (? [V__DESIGN,V__PROP] :
       (s__instance(V__DESIGN,s__Designing) &
         s__result(V__DESIGN,V__PROP)
       &
       s__represents(V__ROOM,V__PROP))))
)

 Hotel.kif 1041-1047
( ! [V__X] :
   (s__attribute(V__X,s__AeronauticalEngineer) =>
     (? [V__SKILL] :
       (s__hasSkill(V__SKILL,V__X)
       &
       (! [V__P] :
         (s__instance(V__P,V__SKILL)
         =>
         ((? [V__CONS,V__OBJ,V__PT] :
             (s__instance(V__CONS,s__Making) &
               (s__instance(V__OBJ,s__Aircraft) |
                 (s__instance(V__OBJ,V__PT)
                 &
                 s__typicalPart(V__PT,s__Aircraft)))
             &
             s__result(V__CONS,V__OBJ)
           &
           s__subProcess(V__P,V__CONS)))
     |
     (? [V__DESIGN,V__PLAN,V__OBJ,V__PT] :
       (s__instance(V__DESIGN,s__Designing) &
         (s__instance(V__OBJ,s__Aircraft) |
           (s__instance(V__OBJ,V__PT)
           &
           s__typicalPart(V__PT,s__Aircraft)))
       &
       s__result(V__DESIGN,V__PLAN)
     &
     s__represents(V__PLAN,V__OBJ)
   &
   s__subProcess(V__P,V__DESIGN)))))))))
)

 Biography.kif 203-232
( ! [V__BRAND,V__ICON] :
   (s__brandIcon(V__BRAND,V__ICON)
   =>
   (? [V__AGENT] :
     (s__managedBy(V__BRAND,V__AGENT)
     &
     s__managedBy(V__ICON,V__AGENT)
   &
   s__represents(V__ICON,V__BRAND))))
)

 Hotel.kif 1266-1272
( ! [V__STRING,V__BROWSER,V__SITE] :
   (s__browserID(V__STRING,V__BROWSER,V__SITE)
   =>
   (? [V__WEBPAGE,V__ACCESSING,V__AGENT] :
     (s__instance(V__WEBPAGE,s__WebPage) &
       s__component(V__WEBPAGE,V__SITE)
     &
     s__instance(V__ACCESSING,s__AccessingWebPage) &
     s__instance(V__AGENT,s__Agent) &
     s__agent(V__ACCESSING,V__AGENT)
   &
   s__instrument(V__ACCESSING,V__BROWSER)
&
s__destination(V__ACCESSING,V__WEBPAGE)
&
s__represents(V__STRING,V__AGENT))))
)

 UXExperimentalTerms.kif 921-932
No TPTP formula. May not be expressible in strict first order. Hotel.kif 759-769
( ! [V__STRING,V__CAT,V__USER] :
   (s__categoryID(V__STRING,V__CAT)
   =>
   s__represents(V__STRING,V__USER))
)

 UXExperimentalTerms.kif 214-216
( ! [V__MAP,V__TOKEN,V__X] :
   (s__codeMapping(V__MAP,V__TOKEN,V__X)
   =>
   s__represents(V__TOKEN,V__X))
)

 Media.kif 2267-2269
( ! [V__String,V__HotelRoom] :
   (s__codeMapping(s__RC_roomType,V__String,V__HotelRoom)
   =>
   s__represents(V__String,V__HotelRoom))
)

 TravelPolicies.kif 1033-1035
No TPTP formula. May not be expressible in strict first order. Music.kif 1107-1111
( ! [V__LA,V__P,V__PROP] :
   (s__evidence(V__LA,V__P)
   =>
   (? [V__A] :
     (s__instance(V__PROP,s__Proposition) &
       s__instance(V__A,s__Argument) &
       s__refers(V__A,V__LA)
     &
     s__represents(V__PROP,V__P)
   &
   s__premise(V__A,V__PROP))))
)

 Law.kif 222-230
( ! [V__STRING,V__EXP,V__USER] :
   (s__experimentID(V__STRING,V__EXP)
   =>
   s__represents(V__STRING,V__USER))
)

 UXExperimentalTerms.kif 4219-4221
( ! [V__H] :
   (s__hasExpertise(V__H,s__Architecture) =>
     (? [V__D,V__P,V__B] :
       (s__instance(V__D,s__ContentDevelopment) &
         s__agent(V__D,V__H)
       &
       s__result(V__D,V__P)
     &
     s__instance(V__P,s__Blueprint) &
     s__represents(V__P,V__B)
   &
   s__instance(V__B,s__Building))))
)

 Mid-level-ontology.kif 18814-18823

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25