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
-------------------------


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

chinese_format.kif 2164-2168
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 4332-4338
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__represents__m,s__BinaryPredicate)

Merge.kif 4330-4330 represents is an instance of binary predicate
s__subrelation(s__represents__m,s__refers__m)

Merge.kif 4329-4329 represents is a subrelation of refers

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 228-228
s__subrelation(s__abstractCounterpart__m,s__represents__m)

Merge.kif 5888-5888 abstractCounterpart is a subrelation of represents
s__subrelation(s__anthem__m,s__represents__m)

Music.kif 347-347 anthem is a subrelation of represents
s__subrelation(s__cardCode__m,s__represents__m)

FinancialOntology.kif 3459-3459 card code is a subrelation of represents
s__subrelation(s__conforms__m,s__represents__m)

Mid-level-ontology.kif 26126-26126 conforms is a subrelation of represents
s__subrelation(s__containsInformation__m,s__represents__m)

Merge.kif 1284-1284 contains information is a subrelation of represents
s__subrelation(s__hardwareType__m,s__represents__m)

QoSontology.kif 1018-1018 hardware type is a subrelation of represents
s__subrelation(s__implementsProtocol__m,s__represents__m)

ComputingBrands.kif 4014-4014 implements protocol is a subrelation of represents
s__subrelation(s__pin__m,s__represents__m)

FinancialOntology.kif 3498-3498 pin is a subrelation of represents
s__subrelation(s__productBrand__m,s__represents__m)

Hotel.kif 1279-1279 product brand is a subrelation of represents
s__subrelation(s__productModel__m,s__represents__m)

QoSontology.kif 14-14 product model is a subrelation of represents
s__subrelation(s__realization__m,s__represents__m)

Merge.kif 4461-4461 realization is a subrelation of represents
s__subrelation(s__record__m,s__represents__m)

Mid-level-ontology.kif 13648-13648 record is a subrelation of represents
s__termFormat(s__ChineseLanguage,s__represents__m,'"代表"')

domainEnglishFormat.kif 49515-49515
s__termFormat(s__ChineseLanguage,s__represents__m,'"表示"')

chinese_format.kif 228-228
s__termFormat(s__ChineseTraditionalLanguage,s__represents__m,'"代表"')

domainEnglishFormat.kif 49514-49514
s__termFormat(s__EnglishLanguage,s__represents__m,'"represents"')

domainEnglishFormat.kif 49513-49513

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


( ! [V__COMMITTING,V__AGREEMENT] :
   (((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 2882-2890
( ! [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__OPSUB,V__OP,V__OPLAN] :
   ((s__instance(V__OPSUB,s__Process) =>
       (((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 1775-1781
( ! [V__PLAN,V__PROC] :
   (((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__PLANNING,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__SEARCHATTEMPT,V__QUERY] :
   (((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 2636-2645

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


( ! [V__A,V__I] :
   (((s__instance(V__A,s__Album) &
         s__instance(V__I,s__Image))
       =>
       ((s__albumCoverImage(V__A,V__I)
         =>
         (s__represents(V__I,V__A)))))
)
)

Music.kif 310-312
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
( ! [V__TELEX,V__M,V__MSG] :
   (((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__instance(V__PROC,s__Process) &
           (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__AIR,V__CM,V__STR] :
   ((s__instance(V__STR,s__SymbolicString) =>
       (((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 3142-3148
( ! [V__AGENT,V__EXPRESS] :
   ((s__instance(V__AGENT,s__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 12505-12513
( ! [V__OBJ,V__NUM,V__PART] :
   (((s__instance(V__OBJ,s__DigitalDataStorageDevice) &
         s__part(V__PART,V__OBJ)
       &
       s__instance(V__PART,s__DigitalData))
     =>
     (( ? [V__SCHEME, V__LIST] :
         ((s__instance(V__SCHEME,s__CodeMap) &
             s__instance(V__LIST,s__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__OPSUB,V__OP,V__OPLAN] :
   ((s__instance(V__OPSUB,s__Process) =>
       (((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 1775-1781
( ! [V__OP,V__PLAN,V__CBO] :
   (((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 1554-1561
( ! [V__CBO,V__COMM,V__PROP] :
   (((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 2906-2913
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26198-26224
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 706-712
( ! [V__STRING,V__USER,V__ACCOUNT] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__USER,s__Agent) &
         s__instance(V__ACCOUNT,s__UserAccount))
       =>
       (((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__instance(V__ROOM,s__Object) =>
       ((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 1066-1072
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       ((s__attribute(V__X,s__AeronauticalEngineer) =>
           (( ? [V__SKILL] :
               ((s__instance(V__SKILL,s__Class) &
                   s__subclass(V__SKILL,s__Process) &
                   (s__hasSkill(V__SKILL,V__X)
                   &
                   ( ! [V__P] :
                     ((s__instance(V__P,s__Process) =>
                         ((s__instance(V__P,V__SKILL)
                           =>
                           ((( ? [V__CONS, V__OBJ, V__PT] :
                                 ((s__subclass(V__PT,s__Object) &
                                     s__instance(V__PT,s__Class) &
                                     (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__subclass(V__PT,s__Object) &
                               s__instance(V__PT,s__Class) &
                               (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__instance(V__BRAND,s__Brand) &
         s__instance(V__ICON,s__Icon))
       =>
       ((s__brandIcon(V__BRAND,V__ICON)
         =>
         (( ? [V__AGENT] :
             ((s__instance(V__AGENT,s__Agent) &
                 (s__managedBy(V__BRAND,V__AGENT)
                 &
                 s__managedBy(V__ICON,V__AGENT)
               &
               s__represents(V__ICON,V__BRAND)))))))))
)
)

Hotel.kif 1297-1303
( ! [V__STRING,V__SITE,V__BROWSER] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__BROWSER,s__Object))
       =>
       ((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 769-779
( ! [V__STRING,V__USER,V__CAT] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__CAT,s__WebListingCategory))
       =>
       ((s__categoryID(V__STRING,V__CAT)
         =>
         (s__represents(V__STRING,V__USER)))))
)
)

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

Media.kif 2267-2269
No TPTP formula. May not be expressible in strict first order. Music.kif 1102-1106
( ! [V__P,V__LA,V__PROP] :
   (((s__instance(V__P,s__Physical) &
         s__instance(V__LA,s__LegalAction) &
         s__instance(V__PROP,s__Proposition))
       =>
       ((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 223-231
( ! [V__STRING,V__EXP,V__USER] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__EXP,s__Experimenting))
       =>
       ((s__experimentID(V__STRING,V__EXP)
         =>
         (s__represents(V__STRING,V__USER)))))
)
)

UXExperimentalTerms.kif 4231-4233
( ! [V__H] :
   ((s__instance(V__H,s__Human) =>
       ((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 20337-20346
( ! [V__ACCOUNT] :
   ((s__instance(V__ACCOUNT,s__HistoricalAccount) =>
       (( ? [V__EVENT] :
           ((s__instance(V__EVENT,s__Physical) &
               (s__represents(V__ACCOUNT,V__EVENT)
               &
               s__earlier(s__WhenFn(V__EVENT)
            ,s__WhenFn(V__ACCOUNT))))))))
)
)

Mid-level-ontology.kif 14186-14191
( ! [V__ACTION] :
   ((s__instance(V__ACTION,s__UserDirectAction) =>
       (( ? [V__SIG_ACTION] :
           ((s__represents(V__ACTION,V__SIG_ACTION)
             &
             s__instance(V__SIG_ACTION,s__UserSignifiedAction))))))
   )
)

ComputerInput.kif 1238-1243

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