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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subrelation

Sigma KEE - subrelation
subrelation

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


(documentation subrelation ChineseLanguage "(subrelation ?REL1 ?REL2)的意思是 ?REL1的每个元组也是?REL2的元组。 也就是说,如果 ?REL1的一些参数 arg_1,arg_2,... arg_n 的&%Relation成立的话,那么?REL2的相同参数的 &%Relation也同样成立。 因此, 一个&%Relation和它 的subrelation必须拥有相同的valence。") Merge.kif 195-198
(documentation subrelation EnglishLanguage "(subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2. In other words, if the Relation ?REL1 holds for some arguments arg_1, arg_2, ... arg_n, then the Relation ?REL2 holds for the same arguments. A consequence of this is that a Relation and its subrelations must have the same valence.") Merge.kif 189-194
(domain subrelation 1 Relation) Merge.kif 187-187
(domain subrelation 2 Relation) Merge.kif 188-188
(instance subrelation BinaryPredicate) Merge.kif 185-185
(instance subrelation PartialOrderingRelation) Merge.kif 186-186

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


(format ChineseLanguage subrelation "%1 %n 是 %2 的 subrelation") chinese_format.kif 321-321
(format EnglishLanguage subrelation "%1 is %n a subrelation of %2") english_format.kif 193-193
(termFormat ChineseLanguage subrelation "子关系") chinese_format.kif 322-322
(termFormat EnglishLanguage subrelation "subrelation") domainEnglishFormat.kif 9722-9722

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))
Media.kif 119-121
(=>
    (and
        (instance ?ATT1 Attribute)
        (instance ?ATT2 Attribute)
        (subrelation ?PRED attribute))
    (not
        (and
            (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED)
            (?PRED ?ENTITY ?ATT1)
            (?PRED ?ENTITY ?ATT2))))
ComputerInput.kif 42-51
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (subrelation ?ROLE ?ROLE2))
    (playsRoleInEvent ?OBJ ?ROLE2 ?EVENT))
Mid-level-ontology.kif 21150-21154
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (domain ?PRED2 ?NUMBER ?CLASS1))
    (domain ?PRED1 ?NUMBER ?CLASS1))
Merge.kif 207-211
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (instance ?PRED2 ?CLASS)
        (subclass ?CLASS InheritableRelation))
    (instance ?PRED1 ?CLASS))
Merge.kif 221-226
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))
Merge.kif 201-205
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (domainSubclass ?REL2 ?NUMBER ?CLASS1))
    (domainSubclass ?REL1 ?NUMBER ?CLASS1))
Merge.kif 269-273
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (?REL1 @ROW))
    (?REL2 @ROW))
Merge.kif 213-219
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (range ?REL2 ?CLASS1))
    (range ?REL1 ?CLASS1))
Merge.kif 354-358
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (rangeSubclass ?REL2 ?CLASS1))
    (rangeSubclass ?REL1 ?CLASS1))
Merge.kif 383-387

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


(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2571-2573

appearance as argument number 0
-------------------------


(subrelation AbortedLaunchFn AbortedFn) MilitaryProcesses.kif 2446-2446
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7778-7778
(subrelation DensityFn PerFn) Merge.kif 6850-6850
(subrelation ShorelineFn BorderFn) Geography.kif 5757-5757
(subrelation SpeedFn PerFn) Merge.kif 6864-6864
(subrelation abbreviatedDisplayTitle displayTitle) Media.kif 3099-3099
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 25489-25489
(subrelation absorbedDose measure) MilitaryProcesses.kif 857-857
(subrelation abstractCounterpart represents) Merge.kif 6244-6244
(subrelation abstractionLevel property) QoSontology.kif 1612-1612
(subrelation accountAt partyToAgreement) FinancialOntology.kif 228-228
(subrelation accountHolder partyToAgreement) FinancialOntology.kif 247-247
(subrelation acronym abbreviation) Media.kif 3004-3004
(subrelation administrativeCenter geopoliticalSubdivision) Government.kif 373-373
(subrelation afterTaxIncome incomeEarned) FinancialOntology.kif 3214-3214
(subrelation age measure) Merge.kif 7752-7752
(subrelation agent involvedInEvent) Merge.kif 2579-2579
(subrelation agentName names) Media.kif 3360-3360
(subrelation agentOperatesInArea partlyLocated) Government.kif 2197-2197
(subrelation airTemperature measure) Mid-level-ontology.kif 23593-23593
(subrelation albumTrack inList) Music.kif 335-335
(subrelation alias deceptiveIdentifier) Mid-level-ontology.kif 21233-21233
(subrelation alias names) Mid-level-ontology.kif 21114-21114
(subrelation alternativeTitle titleInLanguage) Media.kif 3065-3065

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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