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 4732-4734
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 4727-4731
s__domain(s__realization__m,1,s__Process)

Merge.kif 4723-4723
s__domain(s__realization__m,2,s__Proposition)

Merge.kif 4724-4724
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 4722-4722
s__relatedInternalConcept(s__realization__m,s__containsInformation__m)

Merge.kif 4726-4726
s__relatedInternalConcept(s__realization__m,s__equivalentContentInstance__m)

Merge.kif 4725-4725
s__subrelation(s__realization__m,s__represents__m)

Merge.kif 4721-4721

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__format(s__FrenchLanguage,s__realization__m,'%1 %n{n} exprime %n{pas} le contenu de %2')

french_format.kif 131-131
s__format(s__ItalianLanguage,s__realization__m,'%1 esprime il contenuto di %2')

relations-it.txt 242-242
s__format(s__PortugueseLanguage,s__realization__m,'%1 %n{nao} exprime %n o conteudo de %2')

portuguese_format.kif 83-83
s__format(s__ar__m,s__realization__m,'%1 %n{لا} يُعَبِّر عَن مَضْمُون %2')

arabic_format.kif 81-81
s__format(s__de__m,s__realization__m,'%1 druekt den Inhalt von %2 aus')

relations-de.txt 290-290
s__format(s__hi__m,s__realization__m,'%1 %2 ke aadheya ko abhivyakta karataa hai')

relations-hindi.txt 280-280
s__format(s__tg__m,s__realization__m,'%1 ay nagtatanto ng %2')

relations-tg.txt 434-434
s__termFormat(s__ChineseLanguage,s__realization__m,'体现')

chinese_format.kif 224-224
s__termFormat(s__EnglishLanguage,s__realization__m,'realization')

domainEnglishFormat.kif 8576-8576
s__termFormat(s__ar__m,s__realization__m,'«يُعَبِّر عَن مَضْمُون»')

arabic_format.kif 531-531

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


( ! [V__S,V__MC,V__LC,V__MUSIC] :
   (((V__S = s__SongFn(V__MC,V__LC))
     &
     s__realization(V__S,V__MUSIC))
=>
(? [V__MM,V__MV] :
   (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 869-878
( ! [V__CAO,V__NATION,V__LAW,V__CONTENT] :
   ((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 2211-2219
( ! [V__D,V__P] :
   ((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 19111-19118
( ! [V__G,V__P,V__D] :
   ((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 13701-13706
( ! [V__MC,V__MUSIC] :
   ((s__instance(V__MC,s__Music) &
       s__realization(V__MUSIC,V__MC))
   =>
   s__instance(V__MUSIC,s__MakingMusic))
)

Mid-level-ontology.kif 11340-11344
( ! [V__MC,V__MUSIC] :
   ((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 11351-11361
( ! [V__OPERA,V__ACT] :
   ((s__instance(V__OPERA,s__Opera) &
       s__realization(V__ACT,V__OPERA))
   =>
   s__instance(V__ACT,s__MakingMusic))
)

Mid-level-ontology.kif 12668-12672
( ! [V__S,V__MUSIC] :
   ((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 11370-11383
( ! [V__SP,V__P] :
   ((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 14243-14251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18779-18808
( ! [V__Account,V__Statement,V__Transaction1,V__Transaction2] :
   ((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 3742-3749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11766-11780
( ! [V__PROCESS,V__PROP] :
   (s__realization(V__PROCESS,V__PROP)
   =>
   (? [V__OBJ] :
     (s__instance(V__OBJ,s__ContentBearingObject) &
       s__containsInformation(V__OBJ,V__PROP))))
)

Merge.kif 4736-4741

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__CUST,V__AGENT,V__ITEM] :
   ((s__buys(V__CUST,V__AGENT,V__ITEM)
     &
     s__instance(V__ITEM,s__Proposition))
   =>
   (? [V__TRANS,V__PROC] :
     (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 28060-28069
( ! [V__DEGREE,V__AGENT] :
   ((s__instance(V__DEGREE,s__AcademicDegree) &
       s__possesses(V__AGENT,V__DEGREE))
   =>
   (? [V__PROGRAM,V__STUDY] :
     (s__instance(V__PROGRAM,s__EducationalProgram) &
       s__realization(V__STUDY,V__PROGRAM)
     &
     s__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__Statement,V__Account] :
   ((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 3720-3730
( ! [V__TR,V__TP] :
   ((s__instance(V__TR,s__TravelRequest) &
       s__instance(V__TP,s__TravelPolicy))
     =>
     (? [V__FORMULA1,V__FORMULA2] :
       (s__realization(V__TR,V__FORMULA1)
       &
       s__realization(V__TP,V__FORMULA2)
     &
     s__consistent(V__FORMULA1,V__FORMULA2))))
)

TravelPolicies.kif 510-518
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__MM,V__A,V__M,V__T] :
   ((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 852-857
( ! [V__PERSON,V__FIELD] :
   (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 18946-18952
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) =>
     (? [V__TEXT,V__PROP,V__PROC] :
       (s__instance(V__TEXT,s__FictionalText) &
         s__containsInformation(V__TEXT,V__PROP)
       &
       s__realization(V__PROC,V__PROP)
     &
     (! [V__MEMBER] :
       (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 13623-13637
( ! [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 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) =>
     (? [V__PERF,V__PROP] :
       (s__containsInformation(V__PROG,V__PROP)
       &
       s__realization(V__PERF,V__PROP)
     &
     s__instance(V__PERF,s__Performance))))
)

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

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

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

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

Mid-level-ontology.kif 11931-11937
( ! [V__MR,V__MC] :
   (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 11720-11724
( ! [V__C,V__SELLER,V__BUYER] :
   (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 11800-11809

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