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 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 4297-4303
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__represents__m,s__BinaryPredicate)

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

Merge.kif 4294-4294 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 231-231
s__subrelation(s__abstractCounterpart__m,s__represents__m)

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

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

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

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

Merge.kif 1255-1255 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 4021-4021 implements protocol is a subrelation of represents
s__subrelation(s__pin__m,s__represents__m)

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

Hotel.kif 1266-1266 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 4426-4426 realization is a subrelation of represents
s__subrelation(s__record__m,s__represents__m)

Mid-level-ontology.kif 12903-12903 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 309-311
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 12460-12468
( ! [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 25381-25407
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 1053-1059
( ! [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 1284-1290
( ! [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 1101-1105
( ! [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 19545-19554
( ! [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 13441-13446
( ! [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