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 ChineseLanguage, range and "范围"
(termFormat ChineseTraditionalLanguage range "範圍") domainEnglishFormat.kif 48696-48696 termFormat ChineseTraditionalLanguage, range and "範圍"
(termFormat EnglishLanguage range "range") domainEnglishFormat.kif 48695-48695 termFormat EnglishLanguage, range and "range"

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


(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3148-3152
(=>
    (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 4444-4444 range AbsoluteValueFn and NonnegativeRealNumber
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 range AccelerationFn and FunctionQuantity
(range AccountFn FinancialAccount) FinancialOntology.kif 2246-2246 range AccountFn and FinancialAccount
(range AdditionFn Quantity) Merge.kif 4393-4393 range AdditionFn and Quantity
(range AddressFn PhysicalAddress) QoSontology.kif 222-222 range AddressFn and PhysicalAddress
(range AfternoonFn Afternoon) Merge.kif 8165-8165 range AfternoonFn and Afternoon
(range AgreementOrganizationFn Organization) Geography.kif 2916-2916 range AgreementOrganizationFn and Organization
(range AssignmentFn Entity) Merge.kif 754-754 range AssignmentFn and Entity
(range AttrFn Class) Merge.kif 1679-1679 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 BackFn SelfConnectedObject) Merge.kif 861-861 range BackFn and SelfConnectedObject
(range BeginFn TimePoint) Merge.kif 7445-7445 range BeginFn and TimePoint
(range BeginNodeFn GraphNode) Merge.kif 5502-5502 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
(range CPUUtilizationFn ConstantQuantity) QoSontology.kif 1325-1325 range CPUUtilizationFn and ConstantQuantity

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