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


(documentation realization ChineseLanguage "这是 represents 的一个子关系， (realization ?PROCESS ?PROP) 的意思是 ?PROCESS 是一个表达 ?PROP 内容的过程。例子包括：一个演绎 一分乐谱内容的特定音乐表演，或是讀一首诗。") chinese_format.kif 2198-2200
(documentation realization 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 4602-4606
(documentation realization JapaneseLanguage "represents の サブリレーション。(realization ?PROCESS ?PROP) とは、PROCESS が　?PROPP の内容を表すプロセスであることを意味する。　例：楽譜の 内容や詩の読み取りを実現する特定の音楽パフォーマンスなど。") japanese_format.kif 862-864
(domain realization 1 Process) Merge.kif 4597-4597 O argumento numero 1 de realization e' uma instancia de Processo
(domain realization 2 Proposition) Merge.kif 4598-4598 O argumento numero 2 de realization e' uma instancia de Proposicao
(instance realization AsymmetricRelation) Merge.kif 4596-4596 realization e' uma instancia de Relacao Assimetrica
(relatedInternalConcept realization containsInformation) Merge.kif 4600-4600 realization e' relacionado internamente por SUMO a containsInformation
(relatedInternalConcept realization equivalentContentInstance) Merge.kif 4599-4599 realization e' relacionado internamente por SUMO a equivalentContentInstance
(subrelation realization represents) Merge.kif 4595-4595 realization e' uma sub-relacao de represents

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


(format ChineseLanguage realization "%1 %n{doesn't} 表示 %2 的内容") chinese_format.kif 223-223
(format EnglishLanguage realization "%1 %n{doesn't} express%p{es} the content of %2") english_format.kif 224-224
(format FrenchLanguage realization "%1 %n{n'} exprime %n{pas} le contenu de %2") french_format.kif 131-131
(format ItalianLanguage realization "%1 esprime il contenuto di %2") relations-it.txt 242-242
(format JapaneseLanguage realization "%1 は %2 の内容を express%p{es} %n{ない}") japanese_format.kif 1960-1960
(format PortugueseLanguage realization "%1 %n{nao} exprime %n o conteudo de %2") portuguese_format.kif 83-83
(format de realization "%1 druekt den Inhalt von %2 aus") relations-de.txt 290-290
(format hi realization "%1 %2 ke aadheya ko abhivyakta karataa hai") relations-hindi.txt 280-280
(format ro realization "%1 %n{nu} express%t{materializeazã} conþinutul lui %2") relations-ro.kif 150-150
(format sv realization "%1 uttrycker %n{inte} innehållet i %2") relations-sv.txt 136-136
(format tg realization "%1 ay nagtatanto ng %2") relations-tg.txt 434-434
(termFormat ChineseLanguage realization "体现") chinese_format.kif 224-224
(termFormat ChineseLanguage realization "实现") domainEnglishFormat.kif 48914-48914
(termFormat ChineseTraditionalLanguage realization "實現") domainEnglishFormat.kif 48913-48913
(termFormat EnglishLanguage realization "realization") domainEnglishFormat.kif 48912-48912
(termFormat de realization "realizierung") terms-de.txt 93-93

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


(=>
    (and
        (equal ?S
            (SongFn ?MC ?LC))
        (realization ?S ?MUSIC))
    (exists (?MM ?MV)
        (and
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))		 Music.kif 867-876
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))		 MilitaryProcesses.kif 2244-2252
(=>
    (and
        (instance ?D Diet)
        (realization ?P ?D))
    (exists (?E)
        (and
            (subProcess ?E ?P)
            (instance ?E Eating))))		 Mid-level-ontology.kif 21532-21539
(=>
    (and
        (instance ?G Choreographing)
        (result ?G ?P)
        (realization ?D ?P))
    (instance ?D Dancing))		 Mid-level-ontology.kif 16046-16051
(=>
    (and
        (instance ?MC Music)
        (realization ?MUSIC ?MC))
    (instance ?MUSIC MakingMusic))		 Mid-level-ontology.kif 13740-13744
(=>
    (and
        (instance ?MC MusicalComposition)
        (realization ?MC ?MUSIC))
    (not
        (exists (?LC ?V)
            (and
                (instance ?V Singing)
                (patient ?V ?LC)
                (instance ?LC LyricalContent)
                (subProcess ?V ?MUSIC)))))		 Mid-level-ontology.kif 13751-13761
(=>
    (and
        (instance ?OPERA Opera)
        (realization ?ACT ?OPERA))
    (instance ?ACT MakingMusic))		 Mid-level-ontology.kif 14965-14969
(=>
    (and
        (instance ?S Song)
        (realization ?S ?MUSIC))
    (exists (?MM ?MV ?LC ?MC)
        (and
            (instance ?MM MakingMusic)
            (instance ?MV Singing)
            (instance ?LC LyricalContent)
            (instance ?MC MusicalComposition)
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))		 Mid-level-ontology.kif 13770-13783
(=>
    (and
        (instance ?SP SportsPlay)
        (realization ?P ?SP))
    (exists (?S)
        (and
            (instance ?S TeamSport)
            (instance ?P Maneuver)
            (subProcess ?P ?S))))		 Mid-level-ontology.kif 16642-16650
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (instance ?A Archeology)
        (subProposition ?X ?A)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T ?W ?L)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))		 Mid-level-ontology.kif 21146-21176
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))		 FinancialOntology.kif 3907-3914
(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))		 Mid-level-ontology.kif 14148-14162
(=>
    (realization ?PROCESS ?PROP)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PROP))))		 Merge.kif 4608-4613

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


(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))		 Mid-level-ontology.kif 14099-14105
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))		 Mid-level-ontology.kif 14090-14097
(=>
    (and
        (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
        (or
            (equal ?ATTR Obligation)
            (equal ?ATTR Promise)))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) Likely))		 Mid-level-ontology.kif 14078-14088
(=>
    (and
        (buys ?CUST ?AGENT ?ITEM)
        (instance ?ITEM Proposition))
    (exists (?TRANS ?PROC)
        (and
            (agent ?TRANS ?CUST)
            (realization ?PROC ?ITEM)
            (instance ?TRANS Buying)
            (patient ?TRANS ?PROC)
            (origin ?TRANS ?AGENT))))		 Mid-level-ontology.kif 29962-29972
(=>
    (and
        (instance ?DEGREE AcademicDegree)
        (possesses ?AGENT ?DEGREE))
    (exists (?PROGRAM ?STUDY)
        (and
            (instance ?PROGRAM EducationalProgram)
            (realization ?STUDY ?PROGRAM)
            (experiencer ?STUDY ?AGENT))))		 Mid-level-ontology.kif 16513-16521
(=>
    (and
        (instance ?F Scholarship)
        (destination ?F ?H))
    (hasPurpose ?F
        (exists (?EP ?P)
            (and
                (instance ?EP EducationalProgram)
                (realization ?P ?EP)
                (experiencer ?P ?H)))))		 Mid-level-ontology.kif 7230-7239
(=>
    (and
        (instance ?Statement BankStatement)
        (statementAccount ?Statement ?Account))
    (exists (?Transaction)
        (and
            (instance ?Transaction FinancialTransaction)
            (or
                (origin ?Transaction
                    (CurrencyFn ?Account))
                (destination ?Transaction
                    (CurrencyFn ?Account)))
            (realization ?Statement ?Transaction))))		 FinancialOntology.kif 3885-3895
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?P ?S ?X)
            (and
                (instance ?P ?PROP)
                (realization ?X ?P)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))		 Catalog.kif 64-76
(=>
    (and
        (reservedPackage ?RESERVE ?PACKAGE)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PACKAGE)
                (experiencer ?PROC ?CUST))) Likely))		 Hotel.kif 2973-2981
(=>
    (classmate ?A1 ?A2 ?COURSE)
    (exists (?CLASS ?EDU ?TIME)
        (and
            (instance ?CLASS GroupOfPeople)
            (instance ?EDU EducationalProcess)
            (realization ?EDU ?COURSE)
            (patient ?EDU ?CLASS)
            (temporalPart ?TIME
                (WhenFn ?EDU))
            (memberAtTime ?A1 ?CLASS ?TIME)
            (memberAtTime ?A1 ?CLASS ?TIME))))		 Mid-level-ontology.kif 16815-16826
(=>
    (equal ?MM
        (MusicalInterpretationFn ?A ?M ?T))
    (and
        (realization ?MM ?M)
        (equal ?T
            (WhenFn ?MM))
        (agent ?MM ?A)))		 Music.kif 850-855
(=>
    (hasExpertise ?PERSON ?FIELD)
    (exists (?LEARN ?SPECIALITY)
        (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?PERSON)
            (instance ?SPECIALITY ?FIELD)
            (realization ?LEARN ?SPECIALITY))))		 Mid-level-ontology.kif 21353-21360
(=>
    (instance ?ACTION CriminalAction)
    (exists (?LAW ?CONTENT ?CRIME)
        (and
            (modalAttribute ?LAW Law)
            (containsInformation ?LAW ?CONTENT)
            (realization ?ACTION ?CRIME)
            (not
                (consistent ?CONTENT ?CRIME)))))		 Mid-level-ontology.kif 13861-13868
(=>
    (instance ?CAST DramaticCast)
    (exists (?TEXT ?PROP ?PROC)
        (and
            (instance ?TEXT FictionalText)
            (containsInformation ?TEXT ?PROP)
            (realization ?PROC ?PROP)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?CAST)
                    (exists (?SUB)
                        (and
                            (instance ?SUB DramaticActing)
                            (agent ?SUB ?MEMBER)
                            (subProcess ?SUB ?PROC))))))))		 Mid-level-ontology.kif 15966-15980
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))		 Mid-level-ontology.kif 16630-16637
(=>
    (instance ?PLAY DramaticPlay)
    (hasPurpose ?PLAY
        (exists (?ACT ?PROP)
            (and
                (instance ?ACT DramaticActing)
                (containsInformation ?PLAY ?PROP)
                (realization ?ACT ?PROP)))))		 Mid-level-ontology.kif 14953-14960
(=>
    (instance ?PROG PerformanceProgram)
    (exists (?PERF ?PROP)
        (and
            (containsInformation ?PROG ?PROP)
            (realization ?PERF ?PROP)
            (instance ?PERF Performance))))		 Mid-level-ontology.kif 14538-14544
(=>
    (instance ?R Reciting)
    (exists (?P ?T)
        (and
            (realization ?R ?P)
            (containsInformation ?T ?P)
            (instance ?T Text))))		 Mid-level-ontology.kif 15920-15926
(=>
    (instance ?READ Reading)
    (exists (?TEXT ?PROP)
        (and
            (instance ?TEXT Text)
            (containsInformation ?TEXT ?PROP)
            (realization ?READ ?PROP))))		 Merge.kif 12711-12717
(=>
    (instance ?REASON Reasoning)
    (exists (?ARGUMENT)
        (and
            (instance ?ARGUMENT Argument)
            (realization ?REASON ?ARGUMENT))))		 Merge.kif 16840-16845
(=>
    (instance ?RECORD AudioRecording)
    (exists (?INFO ?SOUND)
        (and
            (containsInformation ?RECORD ?INFO)
            (realization ?SOUND ?INFO)
            (instance ?SOUND RadiatingSound))))		 Mid-level-ontology.kif 14313-14319
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))		 Music.kif 180-186
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))		 Mid-level-ontology.kif 14116-14120
(=>
    (property ?C PurchaseContract)
    (exists (?S ?SELLER ?BUYER)
        (and
            (instance ?S Selling)
            (agent ?S ?SELLER)
            (destination ?S ?BUYER)
            (realization ?S ?C)
            (partyToAgreement ?C ?SELLER)
            (partyToAgreement ?C ?BUYER))))		 Mid-level-ontology.kif 14182-14191
(=>
    (property ?C ServiceContract)
    (exists (?SP ?SERVICE ?CUST)
        (and
            (instance ?SP ServiceProcess)
            (realization ?SP ?C)
            (serviceProvider ?SP ?SERVICE)
            (serviceRecipient ?SP ?CUST)
            (partyToAgreement ?C ?SERVICE)
            (partyToAgreement ?C ?CUST))))		 Mid-level-ontology.kif 14197-14206

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