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 2 Class) | Merge.kif 305-305 | |
(instance range AsymmetricRelation) | Merge.kif 303-303 | |
(instance range BinaryPredicate) | Merge.kif 302-302 |
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 318-318 | |
(termFormat ChineseLanguage range "范围") | chinese_format.kif 314-314 | |
(termFormat ChineseTraditionalLanguage range "範圍") | domainEnglishFormat.kif 48740-48740 | |
(termFormat EnglishLanguage range "range") | domainEnglishFormat.kif 48739-48739 |
antecedent |
![]() |
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3326-3330 | |
(=> (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 431-436 | |
(=> (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 3437-3437 | |
(range ASPFn CurrencyMeasure) | UXExperimentalTerms.kif 3480-3480 | |
(range AbortedFn Process) | MilitaryProcesses.kif 2412-2412 | |
(range AbortedLaunchFn TakingOff) | MilitaryProcesses.kif 2477-2477 | |
(range AbortedMissionFn MilitaryOperation) | MilitaryProcesses.kif 2431-2431 | |
(range AbsoluteValueFn NonnegativeRealNumber) | Merge.kif 4673-4673 | |
(range AccelerationFn FunctionQuantity) | Cars.kif 1280-1280 | |
(range AccountFn FinancialAccount) | FinancialOntology.kif 2325-2325 | |
(range AdditionFn RealNumber) | Merge.kif 4624-4624 | |
(range AddressFn PhysicalAddress) | QoSontology.kif 222-222 | |
(range AfternoonFn Afternoon) | Merge.kif 8743-8743 | |
(range AgreementOrganizationFn Organization) | Geography.kif 2979-2979 | |
(range AmountsFn List) | Merge.kif 7490-7490 | |
(range ArcCosineFn RealNumber) | Merge.kif 5166-5166 | |
(range ArcSineFn RealNumber) | Merge.kif 5176-5176 | |
(range ArcTangentFn RealNumber) | Merge.kif 5156-5156 | |
(range AssignmentFn Entity) | Merge.kif 777-777 | |
(range AuctionGMBFn CurrencyMeasure) | UXExperimentalTerms.kif 3402-3402 | |
(range AvailableForMilitaryServiceMaleFn Integer) | Military.kif 866-866 | |
(range AverageFn RealNumber) | Merge.kif 3207-3207 | |
(range BackFn SelfConnectedObject) | Merge.kif 880-880 | |
(range BeginFn TimePoint) | Merge.kif 7893-7893 | |
(range BeginNodeFn GraphNode) | Merge.kif 5847-5847 | |
(range BeliefGroupMemberFn InternalAttribute) | People.kif 684-684 | |
(range BidCountFn NonnegativeInteger) | UXExperimentalTerms.kif 3122-3122 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |