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 内容的过程。例子包括:一个演绎 一分乐谱内容的特定音乐表演,或是讀一首诗。"')

chinese_format.kif 2198-2200
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 4433-4437
s__domain(s__realization__m,n__1,s__Process)

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

Merge.kif 4429-4429 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 4427-4427 realization is an instance of asymmetric relation
s__relatedInternalConcept(s__realization__m,s__containsInformation__m)

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

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

Merge.kif 4426-4426 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 227-227
s__termFormat(s__ChineseLanguage,s__realization__m,'"体现"')

chinese_format.kif 224-224
s__termFormat(s__ChineseLanguage,s__realization__m,'"实现"')

domainEnglishFormat.kif 48897-48897
s__termFormat(s__ChineseTraditionalLanguage,s__realization__m,'"實現"')

domainEnglishFormat.kif 48896-48896
s__termFormat(s__EnglishLanguage,s__realization__m,'"realization"')

domainEnglishFormat.kif 48895-48895

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


( ! [V__MUSIC,V__S,V__MC,V__LC] :
   (((s__instance(V__MUSIC,s__Process) &
         s__instance(V__MUSIC,s__Proposition) &
         s__instance(V__S,s__Song) &
         s__instance(V__S,s__Process) &
         s__instance(V__MC,s__MusicalComposition) &
         s__instance(V__LC,s__LyricalContent))
       =>
       ((((V__S = s__SongFn(V__MC,V__LC))
           &
           s__realization(V__S,V__MUSIC))
       =>
       (( ? [V__MM, V__MV] :
           ((s__instance(V__MM,s__Process) &
               s__instance(V__MV,s__Process) &
               (s__patient(V__MM,V__MC)
               &
               s__patient(V__MV,V__LC)
             &
             s__subProcess(V__MM,V__MUSIC)
           &
           s__subProcess(V__MV,V__MUSIC)))))))))
)
)

Music.kif 863-872
( ! [V__CONTENT,V__NATION,V__LAW,V__CAO] :
   (((s__instance(V__CONTENT,s__Proposition) &
         s__instance(V__LAW,s__Proposition))
       =>
       (((s__instance(V__CAO,s__CivilAffairsOperation) &
             s__located(V__CAO,V__NATION)
           &
           s__instance(V__NATION,s__Nation) &
           s__instance(V__LAW,s__RegionalLawFn(V__NATION))
       &
       s__realization(V__CAO,V__CONTENT))
   =>
   (s__consistent(V__LAW,V__CONTENT)))))
)
)

MilitaryProcesses.kif 2224-2232
( ! [V__P,V__D] :
   ((s__instance(V__P,s__Process) =>
       (((s__instance(V__D,s__Diet) &
             s__realization(V__P,V__D))
         =>
         (( ? [V__E] :
             ((s__subProcess(V__E,V__P)
               &
               s__instance(V__E,s__Eating))))))))
)
)

Mid-level-ontology.kif 19876-19883
( ! [V__P,V__D,V__G] :
   (((s__instance(V__P,s__Proposition) &
         s__instance(V__D,s__Process))
       =>
       (((s__instance(V__G,s__Choreographing) &
             s__result(V__G,V__P)
           &
           s__realization(V__D,V__P))
       =>
       (s__instance(V__D,s__Dancing)))))
)
)

Mid-level-ontology.kif 14575-14580
( ! [V__MUSIC,V__MC] :
   ((s__instance(V__MUSIC,s__Process) =>
       (((s__instance(V__MC,s__Music) &
             s__realization(V__MUSIC,V__MC))
         =>
         (s__instance(V__MUSIC,s__MakingMusic)))))
   )
)

Mid-level-ontology.kif 12322-12326
( ! [V__MUSIC,V__MC] :
   (((s__instance(V__MUSIC,s__Process) &
         s__instance(V__MUSIC,s__Proposition))
       =>
       (((s__instance(V__MC,s__MusicalComposition) &
             s__realization(V__MC,V__MUSIC))
         =>
         (~(( ? [V__LC, V__V] :
               ((s__instance(V__V,s__Singing) &
                   s__patient(V__V,V__LC)
                 &
                 s__instance(V__LC,s__LyricalContent) &
                 s__subProcess(V__V,V__MUSIC)))))))))
)
)

Mid-level-ontology.kif 12333-12343
( ! [V__OPERA,V__ACT] :
   ((s__instance(V__ACT,s__Process) =>
       (((s__instance(V__OPERA,s__Opera) &
             s__realization(V__ACT,V__OPERA))
         =>
         (s__instance(V__ACT,s__MakingMusic)))))
   )
)

Mid-level-ontology.kif 13520-13524
( ! [V__MUSIC,V__S] :
   (((s__instance(V__MUSIC,s__Process) &
         s__instance(V__MUSIC,s__Proposition))
       =>
       (((s__instance(V__S,s__Song) &
             s__realization(V__S,V__MUSIC))
         =>
         (( ? [V__MM, V__MV, V__LC, V__MC] :
             ((s__instance(V__MM,s__MakingMusic) &
                 s__instance(V__MV,s__Singing) &
                 s__instance(V__LC,s__LyricalContent) &
                 s__instance(V__MC,s__MusicalComposition) &
                 s__patient(V__MM,V__MC)
               &
               s__patient(V__MV,V__LC)
             &
             s__subProcess(V__MM,V__MUSIC)
           &
           s__subProcess(V__MV,V__MUSIC))))))))
)
)

Mid-level-ontology.kif 12352-12365
( ! [V__P,V__SP] :
   ((s__instance(V__P,s__Process) =>
       (((s__instance(V__SP,s__SportsPlay) &
             s__realization(V__P,V__SP))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__TeamSport) &
                 s__instance(V__P,s__Maneuver) &
                 s__subProcess(V__P,V__S))))))))
)
)

Mid-level-ontology.kif 15166-15174
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19510-19539
( ! [V__Transaction2,V__Transaction1,V__Account,V__Statement] :
   (((s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Statement,s__BankStatement) &
         s__instance(V__Statement,s__Process))
       =>
       (((s__lastStatement(V__Account,V__Statement)
           &
           s__instance(V__Transaction1,s__FinancialTransaction) &
           s__realization(V__Statement,V__Transaction1)
         &
         s__instance(V__Transaction2,s__FinancialTransaction) &
         ~(s__realization(V__Statement,V__Transaction2)))
     =>
     (s__earlier(s__WhenFn(V__Transaction2)
    ,s__WhenFn(V__Transaction1))))))
)
)

FinancialOntology.kif 3797-3804
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12730-12744
( ! [V__PROCESS,V__PROP] :
   (((s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROP,s__Proposition))
       =>
       ((s__realization(V__PROCESS,V__PROP)
         =>
         (( ? [V__OBJ] :
             ((s__instance(V__OBJ,s__ContentBearingObject) &
                 s__containsInformation(V__OBJ,V__PROP))))))))
)
)

Merge.kif 4439-4444

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12681-12687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12672-12679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12660-12670
( ! [V__AGENT,V__CUST,V__ITEM] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       (((s__buys(V__CUST,V__AGENT,V__ITEM)
           &
           s__instance(V__ITEM,s__Proposition))
         =>
         (( ? [V__TRANS, V__PROC] :
             ((s__instance(V__PROC,s__Process) &
                 (s__agent(V__TRANS,V__CUST)
                 &
                 s__realization(V__PROC,V__ITEM)
               &
               s__instance(V__TRANS,s__Buying) &
               s__patient(V__TRANS,V__PROC)
             &
             s__origin(V__TRANS,V__AGENT)))))))))
)
)

Mid-level-ontology.kif 28396-28406
( ! [V__AGENT,V__DEGREE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__DEGREE,s__AcademicDegree) &
             s__possesses(V__AGENT,V__DEGREE))
         =>
         (( ? [V__PROGRAM, V__STUDY] :
             ((s__instance(V__STUDY,s__Process) &
                 (s__instance(V__PROGRAM,s__EducationalProgram) &
                   s__realization(V__STUDY,V__PROGRAM)
                 &
                 s__experiencer(V__STUDY,V__AGENT)))))))))
)
)

Mid-level-ontology.kif 15037-15045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6699-6708
( ! [V__Account,V__Statement] :
   ((s__instance(V__Account,s__FinancialAccount) =>
       (((s__instance(V__Statement,s__BankStatement) &
             s__statementAccount(V__Statement,V__Account))
         =>
         (( ? [V__Transaction] :
             ((s__instance(V__Transaction,s__FinancialTransaction) &
                 (s__origin(V__Transaction,s__CurrencyFn(V__Account))
               |
               s__destination(V__Transaction,s__CurrencyFn(V__Account)))
         &
         s__realization(V__Statement,V__Transaction))))))))
)
)

FinancialOntology.kif 3775-3785
No TPTP formula. May not be expressible in strict first order. Catalog.kif 284-299
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 2928-2936
( ! [V__A,V__T,V__M,V__MM] :
   (((s__instance(V__A,s__CognitiveAgent) &
         s__instance(V__T,s__TimeInterval) &
         s__instance(V__M,s__Music) &
         s__instance(V__MM,s__MakingMusic))
       =>
       (((V__MM = s__MusicalInterpretationFn(V__A,V__M,V__T))
         =>
         ((s__realization(V__MM,V__M)
           &
           (V__T = s__WhenFn(V__MM))
         &
         s__agent(V__MM,V__A))))))
)
)

Music.kif 846-851
( ! [V__FIELD,V__PERSON] :
   (((s__instance(V__FIELD,s__FieldOfStudy) &
         s__instance(V__PERSON,s__Human))
       =>
       ((s__hasExpertise(V__PERSON,V__FIELD)
         =>
         (( ? [V__LEARN] :
             ((s__instance(V__LEARN,s__Learning) &
                 s__agent(V__LEARN,V__PERSON)
               &
               s__realization(V__LEARN,V__FIELD))))))))
)
)

Mid-level-ontology.kif 19703-19709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12443-12450
( ! [V__CAST] :
   ((s__instance(V__CAST,s__DramaticCast) =>
       (( ? [V__TEXT, V__PROP, V__PROC] :
           ((s__instance(V__PROP,s__Proposition) &
               s__instance(V__PROC,s__Process) &
               (s__instance(V__TEXT,s__FictionalText) &
                 s__containsInformation(V__TEXT,V__PROP)
               &
               s__realization(V__PROC,V__PROP)
             &
             ( ! [V__MEMBER] :
               ((s__instance(V__MEMBER,s__Agent) =>
                   ((s__member(V__MEMBER,V__CAST)
                     =>
                     (( ? [V__SUB] :
                         ((s__instance(V__SUB,s__DramaticActing) &
                             s__agent(V__SUB,V__MEMBER)
                           &
                           s__subProcess(V__SUB,V__PROC))))))))))))))))
)
)

Mid-level-ontology.kif 14495-14509
( ! [V__COURSE] :
   ((s__instance(V__COURSE,s__EducationalCourse) =>
       (( ? [V__CLASS, V__ORG] :
           ((s__realization(V__CLASS,V__COURSE)
             &
             s__instance(V__CLASS,s__EducationalProcess) &
             s__eventLocated(V__CLASS,V__ORG)
           &
           s__instance(V__ORG,s__EducationalOrganization))))))
)
)

Mid-level-ontology.kif 15154-15161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13508-13515
( ! [V__PROG] :
   ((s__instance(V__PROG,s__PerformanceProgram) =>
       (( ? [V__PERF, V__PROP] :
           ((s__instance(V__PROP,s__Proposition) &
               (s__containsInformation(V__PROG,V__PROP)
               &
               s__realization(V__PERF,V__PROP)
             &
             s__instance(V__PERF,s__Performance)))))))
)
)

Mid-level-ontology.kif 13120-13126
( ! [V__R] :
   ((s__instance(V__R,s__Reciting) =>
       (( ? [V__P, V__T] :
           ((s__instance(V__P,s__Proposition) &
               (s__realization(V__R,V__P)
               &
               s__containsInformation(V__T,V__P)
             &
             s__instance(V__T,s__Text)))))))
)
)

Mid-level-ontology.kif 14449-14455
( ! [V__READ] :
   ((s__instance(V__READ,s__Reading) =>
       (( ? [V__TEXT, V__PROP] :
           ((s__instance(V__PROP,s__Proposition) &
               (s__instance(V__TEXT,s__Text) &
                 s__containsInformation(V__TEXT,V__PROP)
               &
               s__realization(V__READ,V__PROP)))))))
)
)

Merge.kif 12056-12062
( ! [V__REASON] :
   ((s__instance(V__REASON,s__Reasoning) =>
       (( ? [V__ARGUMENT] :
           ((s__instance(V__ARGUMENT,s__Argument) &
               s__realization(V__REASON,V__ARGUMENT))))))
   )
)

Merge.kif 16036-16041
( ! [V__RECORD] :
   ((s__instance(V__RECORD,s__AudioRecording) =>
       (( ? [V__INFO, V__SOUND] :
           ((s__instance(V__INFO,s__Proposition) &
               (s__containsInformation(V__RECORD,V__INFO)
               &
               s__realization(V__SOUND,V__INFO)
             &
             s__instance(V__SOUND,s__RadiatingSound)))))))
)
)

Mid-level-ontology.kif 12895-12901
( ! [V__MR,V__MC] :
   (((s__instance(V__MR,s__MusicRecording) &
         s__instance(V__MC,s__Music))
       =>
       ((s__musicInterpretation(V__MR,V__MC)
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__MakingMusic) &
                 s__realization(V__P,V__MC)
               &
               s__record(V__MR,V__P))))))))
)
)

Music.kif 178-184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12698-12702
( ! [V__C,V__SELLER,V__BUYER] :
   (((s__instance(V__C,s__Proposition) &
         s__instance(V__C,s__CognitiveAgent) &
         s__instance(V__SELLER,s__Agent) &
         s__instance(V__SELLER,s__Agreement) &
         s__instance(V__BUYER,s__Agreement))
       =>
       ((s__property(V__C,s__PurchaseContract) =>
           (( ? [V__S] :
               ((s__instance(V__S,s__Selling) &
                   s__agent(V__S,V__SELLER)
                 &
                 s__destination(V__S,V__BUYER)
               &
               s__realization(V__S,V__C)
             &
             s__partyToAgreement(V__C,V__SELLER)
           &
           s__partyToAgreement(V__C,V__BUYER))))))))
)
)

Mid-level-ontology.kif 12764-12773
( ! [V__C,V__CUST,V__SERVICE] :
   (((s__instance(V__C,s__Proposition) &
         s__instance(V__C,s__CognitiveAgent) &
         s__instance(V__CUST,s__Agreement) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__SERVICE,s__Agreement) &
         s__instance(V__SERVICE,s__CognitiveAgent))
       =>
       ((s__property(V__C,s__ServiceContract) =>
           (( ? [V__SP] :
               ((s__instance(V__SP,s__ServiceProcess) &
                   s__realization(V__SP,V__C)
                 &
                 s__serviceProvider(V__SP,V__SERVICE)
               &
               s__serviceRecipient(V__SP,V__CUST)
             &
             s__partyToAgreement(V__C,V__SERVICE)
           &
           s__partyToAgreement(V__C,V__CUST))))))))
)
)

Mid-level-ontology.kif 12779-12788

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 3.0 is open source software produced by Articulate Software and its partners