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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 193-196
(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 187-192
(domain subrelation 1 Relation) Merge.kif 185-185 The number 1 argument of subrelation is an instance of relation
(domain subrelation 2 Relation) Merge.kif 186-186 The number 2 argument of subrelation is an instance of relation
(instance subrelation BinaryPredicate) Merge.kif 183-183 subrelation is an instance of binary predicate
(instance subrelation PartialOrderingRelation) Merge.kif 184-184 subrelation is an instance of partial ordering relation

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
(format FrenchLanguage subrelation "%1 est %n une sous-relation de %2") french_format.kif 183-183
(format ItalianLanguage subrelation "%1 � %n una sottorelazione di %2") relations-it.txt 279-279
(format PortugueseLanguage subrelation "%1 e' %n uma sub-relacao de %2") portuguese_format.kif 135-135
(format ar subrelation "%1 هو %n عَلاقَة فَرْعِيَّة مِن %2") arabic_format.kif 128-128
(format cz subrelation "%1 %p{je} %n{nen�} a subrelation of %2") relations-cz.txt 176-176
(format de subrelation "%1 ist eine teilrelation von %2") relations-de.txt 422-422
(format hi subrelation "%1 %2 kaa upasambandha %n hai") relations-hindi.txt 316-316
(format tg subrelation "%1 %n ay ang kaugnayan mas tiyak ng %2") relations-tg.txt 471-471
(termFormat ChineseLanguage subrelation "子关系") chinese_format.kif 322-322 "子关系" is the printable form of subrelation in ChineseLanguage
(termFormat EnglishLanguage subrelation "subrelation") domainEnglishFormat.kif 9726-9726 "subrelation" is the printable form of subrelation in english language
(termFormat ar subrelation "«عَلاقَة فَرْعِيَّة مِن»") arabic_format.kif 578-578 "«عَلاقَة فَرْعِيَّة مِن»" is the printable form of subrelation in ar

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


(<=>
    (subrelation ?PRED involvedInEvent)
    (instance ?PRED CaseRole))
Media.kif 119-121 A relation is a subrelation of involved in event if and only if the relation is an instance of case role
(=>
    (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 20758-20762
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (domain ?PRED2 ?NUMBER ?CLASS1))
    (domain ?PRED1 ?NUMBER ?CLASS1))
Merge.kif 205-209
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (instance ?PRED2 ?CLASS)
        (subclass ?CLASS InheritableRelation))
    (instance ?PRED1 ?CLASS))
Merge.kif 219-224
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))
Merge.kif 199-203
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (domainSubclass ?REL2 ?NUMBER ?CLASS1))
    (domainSubclass ?REL1 ?NUMBER ?CLASS1))
Merge.kif 267-271
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (instance ?REL1 Predicate)
        (instance ?REL2 Predicate)
        (?REL1 @ROW))
    (?REL2 @ROW))
Merge.kif 211-217
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (range ?REL2 ?CLASS1))
    (range ?REL1 ?CLASS1))
Merge.kif 352-356
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (rangeSubclass ?REL2 ?CLASS1))
    (rangeSubclass ?REL1 ?CLASS1))
Merge.kif 381-385

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


(=>
    (instance ?R CaseRole)
    (subrelation ?R involvedInEvent))
Merge.kif 2548-2550

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


(subrelation AbortedLaunchFn AbortedFn) MilitaryProcesses.kif 2446-2446 Aborted launch is a subrelation of aborted
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400 Aborted mission is a subrelation of aborted
(subrelation AssociateDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 256-256 Associate's degree is a subrelation of substantive degree
(subrelation BachelorDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 284-284 Bachelor's degree is a subrelation of substantive degree
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7774-7774 Citizenry is a subrelation of resident
(subrelation DensityFn PerFn) Merge.kif 6808-6808 Density is a subrelation of per
(subrelation DoctorateDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 370-370 Doctorate degree is a subrelation of substantive degree
(subrelation HonoraryAssociateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 213-213 Honorary associate's degree is a subrelation of honorary degree
(subrelation HonoraryBachelorDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 184-184 Honorary bachelor's degree is a subrelation of honorary degree
(subrelation HonoraryDegreeFn DegreeFn) LinkedInDegrees.kif 108-108 Honorary degree is a subrelation of degree
(subrelation HonoraryDoctorateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 151-151 Honorary doctorate degree is a subrelation of honorary degree
(subrelation HonoraryMasterDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 167-167 Honorary master's degree is a subrelation of honorary degree
(subrelation MasterDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 328-328 Master's degree is a subrelation of substantive degree
(subrelation ShorelineFn BorderFn) Geography.kif 5758-5758 Shoreline is a subrelation of border
(subrelation SpeedFn PerFn) Merge.kif 6822-6822 Speed is a subrelation of per
(subrelation SubstantiveDegreeFn DegreeFn) LinkedInDegrees.kif 229-229 Substantive degree is a subrelation of degree
(subrelation abbreviatedDisplayTitle displayTitle) Media.kif 3078-3078 abbreviatedDisplayTitle is a subrelation of displayTitle
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 25048-25048 abbreviation is a subrelation of acronym
(subrelation absorbedDose measure) MilitaryProcesses.kif 857-857 absorbed dose is a subrelation of measure
(subrelation abstractCounterpart represents) Merge.kif 6210-6210 abstractCounterpart is a subrelation of represents
(subrelation abstractionLevel property) QoSontology.kif 1613-1613 abstraction level is a subrelation of property
(subrelation accountAt partyToAgreement) FinancialOntology.kif 228-228 account at is a subrelation of party to agreement
(subrelation accountHolder partyToAgreement) FinancialOntology.kif 247-247 account holder is a subrelation of party to agreement
(subrelation acronym abbreviation) Media.kif 3004-3004 acronym is a subrelation of abbreviation
(subrelation administrativeCenter geopoliticalSubdivision) Government.kif 373-373 administrative center is a subrelation of geopolitical subdivision

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