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
(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
(termFormat EnglishLanguage subrelation "subrelation") domainEnglishFormat.kif 9722-9722
(termFormat ar subrelation "«عَلاقَة فَرْعِيَّة مِن»") arabic_format.kif 578-578

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 21119-21123
(=>
    (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 2558-2560

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


(subrelation AbortedLaunchFn AbortedFn) MilitaryProcesses.kif 2446-2446
(subrelation AbortedMissionFn AbortedFn) MilitaryProcesses.kif 2400-2400
(subrelation AssociateDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 256-256
(subrelation BachelorDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 284-284
(subrelation CitizenryFn ResidentFn) Mid-level-ontology.kif 7778-7778
(subrelation DensityFn PerFn) Merge.kif 6837-6837
(subrelation DoctorateDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 370-370
(subrelation HonoraryAssociateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 213-213
(subrelation HonoraryBachelorDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 184-184
(subrelation HonoraryDegreeFn DegreeFn) LinkedInDegrees.kif 108-108
(subrelation HonoraryDoctorateDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 151-151
(subrelation HonoraryMasterDegreeFn HonoraryDegreeFn) LinkedInDegrees.kif 167-167
(subrelation MasterDegreeFn SubstantiveDegreeFn) LinkedInDegrees.kif 328-328
(subrelation ShorelineFn BorderFn) Geography.kif 5758-5758
(subrelation SpeedFn PerFn) Merge.kif 6851-6851
(subrelation SubstantiveDegreeFn DegreeFn) LinkedInDegrees.kif 229-229
(subrelation abbreviatedDisplayTitle displayTitle) Media.kif 3078-3078
(subrelation abbreviation conventionalShortName) Mid-level-ontology.kif 25409-25409
(subrelation absorbedDose measure) MilitaryProcesses.kif 857-857
(subrelation abstractCounterpart represents) Merge.kif 6231-6231
(subrelation abstractionLevel property) QoSontology.kif 1596-1596
(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

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