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 子关系 的 1 数量 是 关系instance
(domain subrelation 2 Relation) Merge.kif 188-188 子关系 的 2 数量 是 关系instance
(instance subrelation BinaryPredicate) Merge.kif 185-185 子关系二元谓语instance
(instance subrelation PartialOrderingRelation) Merge.kif 186-186 子关系偏序关系instance

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 ChineseLanguage, 子关系 and "子关系"
(termFormat EnglishLanguage subrelation "subrelation") domainEnglishFormat.kif 9722-9722 termFormat EnglishLanguage, 子关系 and "subrelation"

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))
Media.kif 119-121 关系involvedInEventsubrelation 若且唯若 那个 关系格角色instance
(=>
    (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 AbortedLaunchFnAbortedFnsubrelation
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400 AbortedMissionFnAbortedFnsubrelation
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7778-7778 CitizenryFnResidentFnsubrelation
(subrelation DensityFn PerFn) Merge.kif 6850-6850 密度函数PerFnsubrelation
(subrelation ShorelineFn BorderFn) Geography.kif 5757-5757 ShorelineFnBorderFnsubrelation
(subrelation SpeedFn PerFn) Merge.kif 6864-6864 速率函数PerFnsubrelation
(subrelation abbreviatedDisplayTitle displayTitle) Media.kif 3099-3099 abbreviatedDisplayTitledisplayTitlesubrelation
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 25489-25489 abbreviationconventionalShortNamesubrelation
(subrelation absorbedDose measure) MilitaryProcesses.kif 857-857 absorbedDose计量subrelation
(subrelation abstractCounterpart represents) Merge.kif 6244-6244 abstractCounterpart表示subrelation
(subrelation abstractionLevel property) QoSontology.kif 1612-1612 abstractionLevel特性subrelation
(subrelation accountAt partyToAgreement) FinancialOntology.kif 228-228 accountAtpartyToAgreementsubrelation
(subrelation accountHolder partyToAgreement) FinancialOntology.kif 247-247 accountHolderpartyToAgreementsubrelation
(subrelation acronym abbreviation) Media.kif 3004-3004 acronymabbreviationsubrelation
(subrelation administrativeCenter geopoliticalSubdivision) Government.kif 373-373 administrativeCenter地缘政治分区subrelation
(subrelation afterTaxIncome incomeEarned) FinancialOntology.kif 3214-3214 afterTaxIncomeincomeEarnedsubrelation
(subrelation age measure) Merge.kif 7752-7752 年龄计量subrelation
(subrelation agent involvedInEvent) Merge.kif 2579-2579 主事involvedInEventsubrelation
(subrelation agentName names) Media.kif 3360-3360 agentName命名subrelation
(subrelation agentOperatesInArea partlyLocated) Government.kif 2197-2197 agentOperatesInArea有一部分位于subrelation
(subrelation airTemperature measure) Mid-level-ontology.kif 23593-23593 airTemperature计量subrelation
(subrelation albumTrack inList) Music.kif 335-335 albumTrack在列表内subrelation
(subrelation alias deceptiveIdentifier) Mid-level-ontology.kif 21233-21233 aliasdeceptiveIdentifiersubrelation
(subrelation alias names) Mid-level-ontology.kif 21114-21114 alias命名subrelation
(subrelation alternativeTitle titleInLanguage) Media.kif 3065-3065 alternativeTitletitleInLanguagesubrelation

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