Browsing Interface		 [ Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - rangeSubclass
rangeSubclass

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


(documentation rangeSubclass EnglishLanguage "(range subclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS.") Merge.kif 323-324
(domain rangeSubclass 1 Function) Merge.kif 321-321 The number 1 argument of range subclass is an instance of function
(domainSubclass rangeSubclass 2 SetOrClass) Merge.kif 322-322 The number 2 argument of range subclass is a subclass of set or class
(instance rangeSubclass AsymmetricRelation) Merge.kif 320-320 range subclass is an instance of asymmetric relation
(instance rangeSubclass BinaryPredicate) Merge.kif 319-319 range subclass is an instance of binary predicate

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


(format EnglishLanguage rangeSubclass "the values returned by %1 are %n subclasses of %2") english_format.kif 186-186
(termFormat EnglishLanguage rangeSubclass "range subclass") domainEnglishFormat.kif 7910-7910 term format english language, range subclass and "range subclass"

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


(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))		 Merge.kif 326-330
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 338-344
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 412-417
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (rangeSubclass ?REL2 ?CLASS1))
    (rangeSubclass ?REL1 ?CLASS1))		 Merge.kif 332-336

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


(=>
    (and
        (subrelation ?REL1 ?REL2)
        (rangeSubclass ?REL2 ?CLASS1))
    (rangeSubclass ?REL1 ?CLASS1))		 Merge.kif 332-336

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


(rangeSubclass AgentOfOrganismFn BiologicalAgent) WMD.kif 88-88 The values returned by AgentOfOrganismFn are subclasses of biological agent
(rangeSubclass AgricultureFn Agriculture) Economy.kif 4789-4789 The values returned by agriculture are subclasses of agriculture
(rangeSubclass ConstitutionFn Constitution) Government.kif 683-683 The values returned by constitution are subclasses of constitution
(rangeSubclass CutSetFn GraphPath) Merge.kif 4805-4805 The values returned by cut set are subclasses of graph path
(rangeSubclass DayFn Day) Merge.kif 6977-6977 The values returned by day are subclasses of day
(rangeSubclass DeadFn OrganicObject) Mid-level-ontology.kif 29-29 The values returned by DeadFn are subclasses of organic object
(rangeSubclass DocumentFn Text) Geography.kif 2815-2815 The values returned by document are subclasses of text
(rangeSubclass EditionFn ContentBearingObject) Merge.kif 12527-12527 The values returned by edition are subclasses of content bearing object
(rangeSubclass ElectionFn Election) Government.kif 1550-1550 The values returned by election are subclasses of election
(rangeSubclass FiscalYearFn TimeInterval) Economy.kif 3690-3690 The values returned by fiscal year are subclasses of time interval
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 12023-12023 The values returned by FoodForFn are subclasses of self connected object
(rangeSubclass GeographicPartTypeFn GeographicArea) Geography.kif 6862-6862 The values returned by GeographicPartTypeFn are subclasses of geographic area
(rangeSubclass GraphPathFn GraphPath) Merge.kif 4790-4790 The values returned by graph path are subclasses of graph path
(rangeSubclass HourFn Hour) Merge.kif 7000-7000 The values returned by hour are subclasses of hour
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 5263-5263 The values returned by interval are subclasses of constant quantity
(rangeSubclass MinimalCutSetFn GraphPath) Merge.kif 4812-4812 The values returned by minimal cut set are subclasses of graph path
(rangeSubclass MinuteFn Minute) Merge.kif 7024-7024 The values returned by minute are subclasses of minute
(rangeSubclass MonthFn Month) Merge.kif 6962-6962 The values returned by month are subclasses of month
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 13739-13739 The values returned by occupation are subclasses of financial transaction
(rangeSubclass OperatingFn Process) Transportation.kif 3052-3052 The values returned by operating are subclasses of process
(rangeSubclass OverseasAreaFn OverseasArea) Government.kif 506-506 The values returned by overseas area are subclasses of overseas area
(rangeSubclass PerimeterAreaFn PerimeterArea) Geography.kif 736-736 The values returned by perimeter area are subclasses of perimeter area
(rangeSubclass PeriodicalIssueFn Periodical) Merge.kif 12588-12588 The values returned by periodical issue are subclasses of periodical
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 691-691 The values returned by power set are subclasses of set or class
(rangeSubclass ReceivingAnObjectFn Getting) Media.kif 182-182 The values returned by ReceivingAnObjectFn are subclasses of getting

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