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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - range
range

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


(documentation range ChineseLanguage "它为函数提供一个范围。就是说，(range ?FUNCTION ?CLASS) 的意思是，所有由 ?FUNCTION 所指定的值，都是这个 ?CLASS 的 instance。") chinese_format.kif 1490-1491
(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 306-308
(domain range 1 Function) Merge.kif 304-304 domain range, 1 and Function
(domain range 2 SetOrClass) Merge.kif 305-305 domain range, 2 and SetOrClass
(instance range AsymmetricRelation) Merge.kif 303-303 instance range and AsymmetricRelation
(instance range BinaryPredicate) Merge.kif 302-302 instance range and BinaryPredicate

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


(format ChineseLanguage range "%1 的 range %n 是 %2 的实例") chinese_format.kif 313-313
(format EnglishLanguage range "the range of %1 is %n an instance of %2") english_format.kif 321-321
(termFormat ChineseLanguage range "范围") chinese_format.kif 314-314
(termFormat ChineseTraditionalLanguage range "範圍") domainEnglishFormat.kif 48655-48655
(termFormat EnglishLanguage range "range") domainEnglishFormat.kif 48654-48654

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3238-3242
(=>
    (and
        (range ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (instance ?VALUE ?CLASS))		 Merge.kif 310-314
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 322-328
(=>
    (and
        (range ?REL1 ?CLASS1)
        (range ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 432-437
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (range ?REL2 ?CLASS1))
    (range ?REL1 ?CLASS1))		 Merge.kif 316-320

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


(=>
    (and
        (subrelation ?REL1 ?REL2)
        (range ?REL2 ?CLASS1))
    (range ?REL1 ?CLASS1))		 Merge.kif 316-320

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


(range ABPFn CurrencyMeasure) UXExperimentalTerms.kif 3432-3432 range ABPFn and CurrencyMeasure
(range ASPFn CurrencyMeasure) UXExperimentalTerms.kif 3475-3475 range ASPFn and CurrencyMeasure
(range AbortedFn Process) MilitaryProcesses.kif 2393-2393 range AbortedFn and Process
(range AbortedLaunchFn TakingOff) MilitaryProcesses.kif 2458-2458 range AbortedLaunchFn and TakingOff
(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2412-2412 range AbortedMissionFn and MilitaryOperation
(range AbsoluteValueFn NonnegativeRealNumber) Merge.kif 4532-4532 range AbsoluteValueFn and NonnegativeRealNumber
(range AccelerationFn FunctionQuantity) Cars.kif 1281-1281 range AccelerationFn and FunctionQuantity
(range AccountFn FinancialAccount) FinancialOntology.kif 2247-2247 range AccountFn and FinancialAccount
(range AdditionFn Quantity) Merge.kif 4483-4483 range AdditionFn and Quantity
(range AddressFn PhysicalAddress) QoSontology.kif 222-222 range AddressFn and PhysicalAddress
(range AfternoonFn Afternoon) Merge.kif 8256-8256 range AfternoonFn and Afternoon
(range AgreementOrganizationFn Organization) Geography.kif 2916-2916 range AgreementOrganizationFn and Organization
(range AssignmentFn Entity) Merge.kif 753-753 range AssignmentFn and Entity
(range AttrFn Class) Merge.kif 1680-1680 range AttrFn and Class
(range AuctionGMBFn CurrencyMeasure) UXExperimentalTerms.kif 3397-3397 range AuctionGMBFn and CurrencyMeasure
(range AvailableForMilitaryServiceMaleFn Integer) Military.kif 861-861 range AvailableForMilitaryServiceMaleFn and Integer
(range AverageFn Number) Merge.kif 3125-3125 range AverageFn and Number
(range BackFn SelfConnectedObject) Merge.kif 856-856 range BackFn and SelfConnectedObject
(range BeginFn TimePoint) Merge.kif 7536-7536 range BeginFn and TimePoint
(range BeginNodeFn GraphNode) Merge.kif 5588-5588 range BeginNodeFn and GraphNode
(range BeliefGroupMemberFn InternalAttribute) People.kif 676-676 range BeliefGroupMemberFn and InternalAttribute
(range BidCountFn NonnegativeInteger) UXExperimentalTerms.kif 3117-3117 range BidCountFn and NonnegativeInteger
(range BirthsPerThousandFn RealNumber) People.kif 93-93 range BirthsPerThousandFn and RealNumber
(range BorderFn GeographicArea) Geography.kif 689-689 range BorderFn and GeographicArea
(range BoughtItemsFn NonnegativeInteger) UXExperimentalTerms.kif 3084-3084 range BoughtItemsFn and NonnegativeInteger

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