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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - realization
realization

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


s__documentation(s__realization__m,s__ChineseLanguage,'这是 represents 的一个子关系, (realization ?PROCESS ?PROP) 的意思是 ?PROCESS 是一个表达 ?PROP 内容的过程。例子包括:一个演绎 一分乐谱内容的特定音乐表演,或是讀一首诗。')

Merge.kif 4745-4747
s__documentation(s__realization__m,s__EnglishLanguage,'A subrelation of represents. (realization ?PROCESS ?PROP) means that ?PROCESS is a Process which expresses the content of ?PROP. Examples include a particular musical performance, which realizes the content of a musical score, or the reading of a poem.')

Merge.kif 4740-4744
s__domain(s__realization__m,1,s__Process)

Merge.kif 4736-4736 The number 1 argument of realization is an instance of process
s__domain(s__realization__m,2,s__Proposition)

Merge.kif 4737-4737 The number 2 argument of realization is an instance of proposition
s__instance(s__realization__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 4735-4735 realization is an instance of asymmetric relation
s__relatedInternalConcept(s__realization__m,s__containsInformation__m)

Merge.kif 4739-4739 realization is internally related to contains information
s__relatedInternalConcept(s__realization__m,s__equivalentContentInstance__m)

Merge.kif 4738-4738 realization is internally related to equivalent content instance
s__subrelation(s__realization__m,s__represents__m)

Merge.kif 4734-4734 realization is a subrelation of represents

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


s__format(s__ChineseLanguage,s__realization__m,'%1 %n{doesnt} 表示 %2 的内容')

chinese_format.kif 223-223
s__format(s__EnglishLanguage,s__realization__m,'%1 %n{doesnt} express%p{es} the content of %2')

english_format.kif 138-138
s__termFormat(s__ChineseLanguage,s__realization__m,'体现')

chinese_format.kif 224-224 "体现" is the printable form of realization in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__realization__m,'realization')

domainEnglishFormat.kif 8576-8576 "realization" is the printable form of realization in english language

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


( ! [V__MUSIC,V__S,V__MC,V__LC] :
   ((s__instance(V__MUSIC,s__Process)s__and__ms__instance(V__MUSIC,s__Proposition)s__and__ms__instance(V__S,s__Song)s__and__ms__instance(V__S,s__Process)s__and__ms__instance(V__MC,s__MusicalComposition)s__and__ms__instance(V__LC,s__LyricalContent))
    s__=>(((V__Ss__equal__ms__SongFn(V__MC,V__LC))
      s__and__ms__realization(V__S,V__MUSIC))
  s__=>(s__exists__m[V__MM,V__MV] :
     (s__instance(V__MM,s__Process)s__and__ms__instance(V__MV,s__Process)s__and__m(s__patient(V__MM,V__MC)
    s__and__ms__patient(V__MV,V__LC)
  s__and__ms__subProcess(V__MM,V__MUSIC)
s__and__ms__subProcess(V__MV,V__MUSIC))))))
)

Music.kif 869-878
( ! [V__CONTENT,V__LAW,V__CAO,V__NATION] :
   ((s__instance(V__CONTENT,s__Proposition)s__and__ms__instance(V__LAW,s__Proposition))
    s__=>((s__instance(V__CAO,s__CivilAffairsOperation)s__and__ms__located(V__CAO,V__NATION)
      s__and__ms__instance(V__NATION,s__Nation)s__and__ms__instance(V__LAW,s__RegionalLawFn(V__NATION))
  s__and__ms__realization(V__CAO,V__CONTENT))
s__=>s__consistent(V__LAW,V__CONTENT)))
)

MilitaryProcesses.kif 2211-2219
( ! [V__P,V__D] :
   (s__instance(V__P,s__Process)s__=>((s__instance(V__D,s__Diet)s__and__ms__realization(V__P,V__D))
    s__=>(s__exists__m[V__E] :
       (s__subProcess(V__E,V__P)
      s__and__ms__instance(V__E,s__Eating)))))
)

Mid-level-ontology.kif 19169-19176
( ! [V__P,V__D,V__G] :
   ((s__instance(V__P,s__Proposition)s__and__ms__instance(V__D,s__Process))
    s__=>((s__instance(V__G,s__Choreographing)s__and__ms__result(V__G,V__P)
      s__and__ms__realization(V__D,V__P))
  s__=>s__instance(V__D,s__Dancing)))
)

Mid-level-ontology.kif 13701-13706
( ! [V__MUSIC,V__MC] :
   (s__instance(V__MUSIC,s__Process)s__=>((s__instance(V__MC,s__Music)s__and__ms__realization(V__MUSIC,V__MC))
    s__=>s__instance(V__MUSIC,s__MakingMusic)))
)

Mid-level-ontology.kif 11340-11344
( ! [V__MUSIC,V__MC] :
   ((s__instance(V__MUSIC,s__Process)s__and__ms__instance(V__MUSIC,s__Proposition))
    s__=>((s__instance(V__MC,s__MusicalComposition)s__and__ms__realization(V__MC,V__MUSIC))
    s__=>(s__not__m(s__exists__m[V__LC,V__V] :
       (s__instance(V__V,s__Singing)s__and__ms__patient(V__V,V__LC)
      s__and__ms__instance(V__LC,s__LyricalContent)s__and__ms__subProcess(V__V,V__MUSIC))))))
)

Mid-level-ontology.kif 11351-11361
( ! [V__ACT,V__OPERA] :
   (s__instance(V__ACT,s__Process)s__=>((s__instance(V__OPERA,s__Opera)s__and__ms__realization(V__ACT,V__OPERA))
    s__=>s__instance(V__ACT,s__MakingMusic)))
)

Mid-level-ontology.kif 12668-12672
( ! [V__MUSIC,V__S] :
   ((s__instance(V__MUSIC,s__Process)s__and__ms__instance(V__MUSIC,s__Proposition))
    s__=>((s__instance(V__S,s__Song)s__and__ms__realization(V__S,V__MUSIC))
    s__=>(s__exists__m[V__MM,V__MV,V__LC,V__MC] :
       (s__instance(V__MM,s__MakingMusic)s__and__ms__instance(V__MV,s__Singing)s__and__ms__instance(V__LC,s__LyricalContent)s__and__ms__instance(V__MC,s__MusicalComposition)s__and__ms__patient(V__MM,V__MC)
      s__and__ms__patient(V__MV,V__LC)
    s__and__ms__subProcess(V__MM,V__MUSIC)
  s__and__ms__subProcess(V__MV,V__MUSIC)))))
)

Mid-level-ontology.kif 11370-11383
( ! [V__P,V__SP] :
   (s__instance(V__P,s__Process)s__=>((s__instance(V__SP,s__SportsPlay)s__and__ms__realization(V__P,V__SP))
    s__=>(s__exists__m[V__S] :
       (s__instance(V__S,s__TeamSport)s__and__ms__instance(V__P,s__Maneuver)s__and__ms__subProcess(V__P,V__S)))))
)

Mid-level-ontology.kif 14243-14251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18866
( ! [V__Account,V__Statement,V__Transaction1,V__Transaction2] :
   ((s__instance(V__Account,s__FinancialAccount)s__and__ms__instance(V__Statement,s__BankStatement)s__and__ms__instance(V__Statement,s__Process))
    s__=>((s__lastStatement(V__Account,V__Statement)
      s__and__ms__instance(V__Transaction1,s__FinancialTransaction)s__and__ms__realization(V__Statement,V__Transaction1)
    s__and__ms__instance(V__Transaction2,s__FinancialTransaction)s__and__m(s__not__ms__realization(V__Statement,V__Transaction2)))
s__=>s__earlier(s__WhenFn(V__Transaction2)
,s__WhenFn(V__Transaction1))))
)

FinancialOntology.kif 3742-3749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11766-11780
( ! [V__PROCESS,V__PROP] :
   ((s__instance(V__PROCESS,s__Process)s__and__ms__instance(V__PROP,s__Proposition))
    s__=>(s__realization(V__PROCESS,V__PROP)
    s__=>(s__exists__m[V__OBJ] :
       (s__instance(V__OBJ,s__ContentBearingObject)s__and__ms__containsInformation(V__OBJ,V__PROP)))))
)

Merge.kif 4749-4754

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11703-11709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11694-11701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11692
( ! [V__AGENT,V__CUST,V__ITEM] :
   ((s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent))
    s__=>((s__buys(V__CUST,V__AGENT,V__ITEM)
      s__and__ms__instance(V__ITEM,s__Proposition))
    s__=>(s__exists__m[V__TRANS,V__PROC] :
       (s__instance(V__PROC,s__Process)s__and__m(s__realization(V__PROC,V__ITEM)
      s__and__ms__instance(V__TRANS,s__Buying)s__and__ms__patient(V__TRANS,V__PROC)
    s__and__ms__origin(V__TRANS,V__AGENT))))))
)

Mid-level-ontology.kif 28140-28149
( ! [V__AGENT,V__DEGREE] :
   (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__DEGREE,s__AcademicDegree)s__and__ms__possesses(V__AGENT,V__DEGREE))
    s__=>(s__exists__m[V__PROGRAM,V__STUDY] :
       (s__instance(V__STUDY,s__Process)s__and__m(s__instance(V__PROGRAM,s__EducationalProgram)s__and__ms__realization(V__STUDY,V__PROGRAM)
      s__and__ms__experiencer(V__STUDY,V__AGENT))))))
)

Mid-level-ontology.kif 14103-14111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6893-6902
( ! [V__Account,V__Statement] :
   (s__instance(V__Account,s__FinancialAccount)s__=>((s__instance(V__Statement,s__BankStatement)s__and__ms__statementAccount(V__Statement,V__Account))
    s__=>(s__exists__m[V__Transaction] :
       (s__instance(V__Transaction,s__FinancialTransaction)s__and__m(s__origin(V__Transaction,s__CurrencyFn(V__Account))
    s__or__ms__destination(V__Transaction,s__CurrencyFn(V__Account)))
s__and__ms__realization(V__Statement,V__Transaction)))))
)

FinancialOntology.kif 3720-3730
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-75
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2908-2916
( ! [V__A,V__T,V__M,V__MM] :
   ((s__instance(V__A,s__CognitiveAgent)s__and__ms__instance(V__T,s__TimeInterval)s__and__ms__instance(V__M,s__Music)s__and__ms__instance(V__MM,s__MakingMusic))
    s__=>((V__MMs__equal__ms__MusicalInterpretationFn(V__A,V__M,V__T))
    s__=>(s__realization(V__MM,V__M)
    s__and__m(V__Ts__equal__ms__WhenFn(V__MM))
s__and__ms__agent(V__MM,V__A))))
)

Music.kif 852-857
( ! [V__FIELD,V__PERSON] :
   ((s__instance(V__FIELD,s__FieldOfStudy)s__and__ms__instance(V__PERSON,s__Human))
    s__=>(s__hasExpertise(V__PERSON,V__FIELD)
    s__=>(s__exists__m[V__LEARN] :
       (s__instance(V__LEARN,s__Learning)s__and__ms__agent(V__LEARN,V__PERSON)
      s__and__ms__realization(V__LEARN,V__FIELD)))))
)

Mid-level-ontology.kif 19004-19010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11466-11473
( ! [V__CAST] :
   (s__instance(V__CAST,s__DramaticCast)s__=>(s__exists__m[V__TEXT,V__PROP,V__PROC] :
       (s__instance(V__PROP,s__Proposition)s__and__ms__instance(V__PROC,s__Process)s__and__m(s__instance(V__TEXT,s__FictionalText)s__and__ms__containsInformation(V__TEXT,V__PROP)
      s__and__ms__realization(V__PROC,V__PROP)
    s__and__m(s__forall__m[V__MEMBER] :
     (s__instance(V__MEMBER,s__Agent)s__=>(s__member(V__MEMBER,V__CAST)
      s__=>(s__exists__m[V__SUB] :
         (s__instance(V__SUB,s__DramaticActing)s__and__ms__agent(V__SUB,V__MEMBER)
        s__and__ms__subProcess(V__SUB,V__PROC))))))))))
)

Mid-level-ontology.kif 13623-13637
( ! [V__COURSE] :
   (s__instance(V__COURSE,s__EducationalCourse)s__=>(s__exists__m[V__CLASS,V__ORG] :
       (s__realization(V__CLASS,V__COURSE)
      s__and__ms__instance(V__CLASS,s__EducationalProcess)s__and__ms__eventLocated(V__CLASS,V__ORG)
    s__and__ms__instance(V__ORG,s__EducationalOrganization))))
)

Mid-level-ontology.kif 14231-14238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12657-12663
( ! [V__PROG] :
   (s__instance(V__PROG,s__PerformanceProgram)s__=>(s__exists__m[V__PERF,V__PROP] :
       (s__instance(V__PROP,s__Proposition)s__and__m(s__containsInformation(V__PROG,V__PROP)
      s__and__ms__realization(V__PERF,V__PROP)
    s__and__ms__instance(V__PERF,s__Performance)))))
)

Mid-level-ontology.kif 12285-12291
( ! [V__R] :
   (s__instance(V__R,s__Reciting)s__=>(s__exists__m[V__P,V__T] :
       (s__instance(V__P,s__Proposition)s__and__m(s__realization(V__R,V__P)
      s__and__ms__containsInformation(V__T,V__P)
    s__and__ms__instance(V__T,s__Text)))))
)

Mid-level-ontology.kif 13577-13583
( ! [V__READ] :
   (s__instance(V__READ,s__Reading)s__=>(s__exists__m[V__TEXT,V__PROP] :
       (s__instance(V__PROP,s__Proposition)s__and__m(s__instance(V__TEXT,s__Text)s__and__ms__containsInformation(V__TEXT,V__PROP)
      s__and__ms__realization(V__READ,V__PROP)))))
)

Merge.kif 12608-12614
( ! [V__REASON] :
   (s__instance(V__REASON,s__Reasoning)s__=>(s__exists__m[V__ARGUMENT] :
       (s__instance(V__ARGUMENT,s__Argument)s__and__ms__realization(V__REASON,V__ARGUMENT))))
)

Merge.kif 17112-17117
( ! [V__RECORD] :
   (s__instance(V__RECORD,s__AudioRecording)s__=>(s__exists__m[V__INFO,V__SOUND] :
       (s__instance(V__INFO,s__Proposition)s__and__m(s__containsInformation(V__RECORD,V__INFO)
      s__and__ms__realization(V__SOUND,V__INFO)
    s__and__ms__instance(V__SOUND,s__RadiatingSound)))))
)

Mid-level-ontology.kif 11931-11937
( ! [V__MR,V__MC] :
   ((s__instance(V__MR,s__MusicRecording)s__and__ms__instance(V__MC,s__Music))
    s__=>(s__musicInterpretation(V__MR,V__MC)
    s__=>(s__exists__m[V__P] :
       (s__instance(V__P,s__MakingMusic)s__and__ms__realization(V__P,V__MC)
      s__and__ms__record(V__MR,V__P)))))
)

Music.kif 178-184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11720-11724
( ! [V__C,V__SELLER,V__BUYER] :
   ((s__instance(V__C,s__Proposition)s__and__ms__instance(V__C,s__CognitiveAgent)s__and__ms__instance(V__SELLER,s__Agent)s__and__ms__instance(V__SELLER,s__Agreement)s__and__ms__instance(V__BUYER,s__Agreement))
    s__=>(s__property(V__C,s__PurchaseContract)s__=>(s__exists__m[V__S] :
         (s__instance(V__S,s__Selling)s__and__ms__agent(V__S,V__SELLER)
        s__and__ms__destination(V__S,V__BUYER)
      s__and__ms__realization(V__S,V__C)
    s__and__ms__partyToAgreement(V__C,V__SELLER)
  s__and__ms__partyToAgreement(V__C,V__BUYER)))))
)

Mid-level-ontology.kif 11800-11809
( ! [V__C,V__CUST,V__SERVICE] :
   ((s__instance(V__C,s__Proposition)s__and__ms__instance(V__C,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__Agreement)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__SERVICE,s__Agreement)s__and__ms__instance(V__SERVICE,s__CognitiveAgent))
    s__=>(s__property(V__C,s__ServiceContract)s__=>(s__exists__m[V__SP] :
         (s__instance(V__SP,s__ServiceProcess)s__and__ms__realization(V__SP,V__C)
        s__and__ms__serviceProvider(V__SP,V__SERVICE)
      s__and__ms__serviceRecipient(V__SP,V__CUST)
    s__and__ms__partyToAgreement(V__C,V__SERVICE)
  s__and__ms__partyToAgreement(V__C,V__CUST)))))
)

Mid-level-ontology.kif 11815-11824

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners