| 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 321-321 | |
| (termFormat ChineseLanguage range "范围") | chinese_format.kif 314-314 | |
| (termFormat ChineseTraditionalLanguage range "範圍") | domainEnglishFormat.kif 48739-48739 | |
| (termFormat EnglishLanguage range "range") | domainEnglishFormat.kif 48738-48738 |
| antecedent |
|
|
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3282-3286 | |
| (=> (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 3437-3437 | |
| (range ASPFn CurrencyMeasure) | UXExperimentalTerms.kif 3480-3480 | |
| (range AbortedFn Process) | MilitaryProcesses.kif 2393-2393 | |
| (range AbortedLaunchFn TakingOff) | MilitaryProcesses.kif 2458-2458 | |
| (range AbortedMissionFn MilitaryOperation) | MilitaryProcesses.kif 2412-2412 | |
| (range AbsoluteValueFn NonnegativeRealNumber) | Merge.kif 4590-4590 | |
| (range AccelerationFn FunctionQuantity) | Cars.kif 1294-1294 | |
| (range AccountFn FinancialAccount) | FinancialOntology.kif 2266-2266 | |
| (range AdditionFn Number) | Merge.kif 4541-4541 | |
| (range AddressFn PhysicalAddress) | QoSontology.kif 222-222 | |
| (range AfternoonFn Afternoon) | Merge.kif 8440-8440 | |
| (range AgreementOrganizationFn Organization) | Geography.kif 2938-2938 | |
| (range AmountsFn List) | Merge.kif 7331-7331 | |
| (range ArcCosineFn RealNumber) | Merge.kif 5026-5026 | |
| (range ArcSineFn RealNumber) | Merge.kif 5036-5036 | |
| (range ArcTangentFn RealNumber) | Merge.kif 5016-5016 | |
| (range AssignmentFn Entity) | Merge.kif 754-754 | |
| (range AttrFn Class) | Merge.kif 1686-1686 | |
| (range AuctionGMBFn CurrencyMeasure) | UXExperimentalTerms.kif 3402-3402 | |
| (range AvailableForMilitaryServiceMaleFn Integer) | Military.kif 861-861 | |
| (range AverageFn Number) | Merge.kif 3163-3163 | |
| (range BackFn SelfConnectedObject) | Merge.kif 857-857 | |
| (range BeginFn TimePoint) | Merge.kif 7716-7716 | |
| (range BeginNodeFn GraphNode) | Merge.kif 5677-5677 | |
| (range BeliefGroupMemberFn InternalAttribute) | People.kif 677-677 | |
| 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 3.0 is open source software produced by Articulate Software and its partners