Knowledge base Browser

appearance as argument number 1

(documentation range EnglishLanguage "Gives the range of a function. In other words, (range ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are instances of ?CLASS.")	Merge.kif 295-297
(domain range 1 Function)	Merge.kif 293-293	The number 1 argument of range is an instance of function
(domain range 2 SetOrClass)	Merge.kif 294-294	The number 2 argument of range is an instance of set or class
(instance range AsymmetricRelation)	Merge.kif 292-292	range is an instance of asymmetric relation
(instance range BinaryPredicate)	Merge.kif 291-291	range is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage range "the range of %1 is %n an instance of %2")	english_format.kif 178-178
(termFormat EnglishLanguage range "range")	domainEnglishFormat.kif 7909-7909	term format english language, range and "range"

antecedent

(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 2652-2656	If a function is an instance of sequence function and the range of function is an instance of a set or class then set or class is a subclass of integer
(=> (and (range ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (instance ?VALUE ?CLASS))	Merge.kif 299-303	If the range of a function is an instance of a set or class and function(@ROW) is equal to an entity then entity is an instance of set or class
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 311-317	If the range of a function is an instance of a set or class and the range of function is an instance of set or class then set or class is a subclass of set or class or set or class is a subclass of set or class
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 405-410	If the range of a function is an instance of a set or class and the range of function is an instance of set or class and set or class is disjoint from set or class then function and function are disjoint
(=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1))	Merge.kif 305-309	If a function is a subrelation of function and the range of function is an instance of a set or class then the range of function is an instance of set or class

consequent

(=>
    (and
        (subrelation ?REL1 ?REL2)
        (range ?REL2 ?CLASS1))
    (range ?REL1 ?CLASS1))

Merge.kif 305-309

If a function is a subrelation of function and the range of function is an instance of a set or class
then the range of function is an instance of set or class

appearance as argument number 0

(range AbortedFn Process)	MilitaryProcesses.kif 2374-2374	The range of aborted is an instance of process
(range AbortedLaunchFn TakingOff)	MilitaryProcesses.kif 2439-2439	The range of aborted launch is an instance of taking off
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2393-2393	The range of aborted mission is an instance of military operation
(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 3743-3743	The range of absolute value is an instance of nonnegative real number
(range AbstractionFn Attribute)	Merge.kif 1398-1398	The range of abstraction is an instance of attribute
(range AccountFn FinancialAccount)	FinancialOntology.kif 2165-2165	The range of account is an instance of financial account
(range AdditionFn Quantity)	Merge.kif 3695-3695	The range of addition is an instance of quantity
(range AddressFn PhysicalAddress)	QoSontology.kif 175-175	The range of address is an instance of physical address
(range AgreementOrganizationFn Organization)	Geography.kif 2854-2854	The range of agreement organization is an instance of organization
(range AssignmentFn Entity)	Merge.kif 682-682	The range of assignment is an instance of entity
(range AttrFn Class)	engineering.kif 34-34	The range of attr is an instance of class
(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 814-814	The range of available for military service male is an instance of integer
(range BackFn SelfConnectedObject)	Merge.kif 782-782	The range of back is an instance of self connected object
(range BeginFn TimePoint)	Merge.kif 6540-6540	The range of begin is an instance of time point
(range BeginNodeFn GraphNode)	Merge.kif 4679-4679	The range of begin node is an instance of graph node
(range BeliefGroupMemberFn InternalAttribute)	People.kif 677-677	The range of BeliefGroupMemberFn is an instance of internal attribute
(range BirthsPerThousandFn RealNumber)	People.kif 93-93	The range of births per thousand is an instance of real number
(range BorderFn GeographicArea)	Geography.kif 675-675	The range of border is an instance of geographic area
(range CPUUtilizationFn ConstantQuantity)	QoSontology.kif 1220-1220	The range of CPU utilization is an instance of constant quantity
(range CabinetFn GovernmentOrganization)	Government.kif 1431-1431	The range of cabinet is an instance of government organization
(range CardinalityFn Number)	Merge.kif 4320-4320	The range of cardinality is an instance of number
(range CeilingFn Integer)	Merge.kif 3763-3763	The range of ceiling is an instance of integer
(range CellPartFn CellPart)	VirusProteinAndCellPart.kif 582-582	The range of cell part is an instance of cell part
(range CenterOfCircleFn GeometricPoint)	Merge.kif 6240-6240	The range of center of circle is an instance of geometric point
(range ChildrenBornPerWomanFn RealNumber)	People.kif 450-450	The range of children born per woman is an instance of real number

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

KB Term:

English Word: