Browsing Interface		 [ Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - domainSubclass
domainSubclass

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


(documentation domainSubclass EnglishLanguage "predicate used to specify argument type restrictions of predicates. The formula (domain subclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.") Merge.kif 220-223
(domain domainSubclass 1 Relation) Merge.kif 217-217 The number 1 argument of domain subclass is an instance of relation
(domain domainSubclass 2 PositiveInteger) Merge.kif 218-218 The number 2 argument of domain subclass is an instance of positive integer
(domain domainSubclass 3 SetOrClass) Merge.kif 219-219 The number 3 argument of domain subclass is an instance of set or class
(instance domainSubclass TernaryPredicate) Merge.kif 216-216 domain subclass is an instance of ternary predicate

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


(format EnglishLanguage domainSubclass "the number %2 argument of %1 is %n a subclass of %3") english_format.kif 167-167
(termFormat EnglishLanguage domainSubclass "domain subclass") domainEnglishFormat.kif 3155-3155 term format english language, domain subclass and "domain subclass"

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


(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))		 Merge.kif 2440-2444
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 231-237
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 398-403
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (domainSubclass ?REL2 ?NUMBER ?CLASS1))
    (domainSubclass ?REL1 ?NUMBER ?CLASS1))		 Merge.kif 225-229

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


(=>
    (and
        (subrelation ?REL1 ?REL2)
        (domainSubclass ?REL2 ?NUMBER ?CLASS1))
    (domainSubclass ?REL1 ?NUMBER ?CLASS1))		 Merge.kif 225-229

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


(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87 The number 1 argument of AgentOfOrganismFn is a subclass of organism
(domainSubclass AgricultureFn 1 AgriculturalProduct) Economy.kif 4788-4788 The number 1 argument of agriculture is a subclass of agricultural product
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 581-581 The number 2 argument of cell part is a subclass of cell part
(domainSubclass DayFn 2 Month) Merge.kif 6976-6976 The number 2 argument of day is a subclass of month
(domainSubclass DeadFn 1 CorpuscularObject) Mid-level-ontology.kif 28-28 The number 1 argument of DeadFn is a subclass of corpuscular object
(domainSubclass EditionFn 1 ContentBearingObject) Merge.kif 12525-12525 The number 1 argument of edition is a subclass of content bearing object
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3715-3715 The number 2 argument of fiscal year starting is a subclass of year
(domainSubclass FoodForFn 1 Organism) Merge.kif 12022-12022 The number 1 argument of FoodForFn is a subclass of organism
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 4308-4308 The number 1 argument of generalized intersection is a subclass of set or class
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 4298-4298 The number 1 argument of generalized union is a subclass of set or class
(domainSubclass GeographicPartTypeFn 1 GeographicArea) Geography.kif 6860-6860 The number 1 argument of GeographicPartTypeFn is a subclass of geographic area
(domainSubclass HourFn 2 Day) Merge.kif 6999-6999 The number 2 argument of hour is a subclass of day
(domainSubclass MinuteFn 2 Hour) Merge.kif 7023-7023 The number 2 argument of minute is a subclass of hour
(domainSubclass MonthFn 1 Month) Merge.kif 6960-6960 The number 1 argument of month is a subclass of month
(domainSubclass MonthFn 2 Year) Merge.kif 6961-6961 The number 2 argument of month is a subclass of year
(domainSubclass PeriodicalIssueFn 1 Periodical) Merge.kif 12586-12586 The number 1 argument of periodical issue is a subclass of periodical
(domainSubclass ReceivingAnObjectFn 1 Object) Media.kif 183-183 The number 1 argument of ReceivingAnObjectFn is a subclass of object
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval) Merge.kif 6842-6842 The number 1 argument of recurrent time interval is a subclass of time interval
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval) Merge.kif 6843-6843 The number 2 argument of recurrent time interval is a subclass of time interval
(domainSubclass SecondFn 2 Minute) Merge.kif 7047-7047 The number 2 argument of second is a subclass of minute
(domainSubclass SeriesVolumeFn 1 Series) Merge.kif 12557-12557 The number 1 argument of series volume is a subclass of series
(domainSubclass ShortageFn 1 Object) Geography.kif 2699-2699 The number 1 argument of shortage is a subclass of object
(domainSubclass TemporalCompositionFn 2 TimeInterval) Merge.kif 7406-7406 The number 2 argument of temporal composition is a subclass of time interval
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1719-1719 The number 1 argument of transportation is a subclass of transportation device
(domainSubclass ViralPartFn 2 VirusPart) VirusProteinAndCellPart.kif 570-570 The number 2 argument of viral part is a subclass of virus part

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      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners