TreeView Knowledge Base Browser

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 302-304
(documentation range JapaneseLanguage "関数の範囲を提供。言い換えれば、(range ?FUNCTION ?CLASS) とは、?FUNCTIONによって割り当てられたすべての値は?CLASSの instances である、という意味である。")	japanese_format.kif 50-52
(documentation range SpanishLanguage "Da el rango de una función. En otras palabras, (range ?FUNCTION ?CLASS) significa que todos los valores asignados por ?FUNCTION son instances de ?CLASS.")	spanish_format.kif 55-57
(domain range 1 Function)	Merge.kif 300-300
(domain range 2 Class)	Merge.kif 301-301
(instance range AsymmetricRelation)	Merge.kif 299-299
(instance range BinaryPredicate)	Merge.kif 298-298

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
(format FrenchLanguage range "le domaine de %1 est %n une instance de %2")	french_format.kif 179-179
(format ItalianLanguage range "rango di %1 è %n un'istanza di %2")	relations-it.txt 238-238
(format JapaneseLanguage range "%1 の range は %2 のインスタンスでは %n")	japanese_format.kif 1999-1999
(format PortugueseLanguage range "o contra-dominio de %1 e' %n uma instancia de %2")	portuguese_format.kif 131-131
(format cz range "range of %1 %p{je} %n{nen�} an instance of %2")	relations-cz.txt 180-180
(format de range "bildbereich von %1 ist ein fall von %2 {nicht}")	relations-de.txt 410-410
(format hi range "%1 kaa parisara %2 kaa drishhTaanta %n hai")	relations-hindi.txt 276-276
(format ro range "range%t{codomeniul} lui %1 %n{nu} este o instanþã a lui %2")	relations-ro.kif 199-199
(format sv range "värdemängden för %1 är %n{inte} en instans av %2")	relations-sv.txt 189-189
(format tg range "ang reynds ng %1 %n ay ang kasapi ng %2")	relations-tg.txt 430-430
(termFormat ChineseLanguage range "范围")	chinese_format.kif 314-314
(termFormat ChineseTraditionalLanguage range "範圍")	domainEnglishFormat.kif 48761-48761
(termFormat EnglishLanguage range "range")	domainEnglishFormat.kif 48760-48760

antecedent

(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3407-3411
(=> (and (range ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (instance ?VALUE ?CLASS))	Merge.kif 306-310
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 318-324
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 426-431
(=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1))	Merge.kif 312-316

consequent

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

Merge.kif 312-316

appearance as argument number 0

(range ABPFn CurrencyMeasure)	UXExperimentalTerms.kif 3227-3227
(range ASPFn CurrencyMeasure)	UXExperimentalTerms.kif 3272-3272
(range AbortedFn Process)	MilitaryProcesses.kif 2413-2413
(range AbortedLaunchFn TakingOff)	MilitaryProcesses.kif 2512-2512
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2433-2433
(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4791-4791
(range AccelerationFn FunctionQuantity)	Cars.kif 1280-1280
(range AccountFn FinancialAccount)	FinancialOntology.kif 2334-2334
(range AdditionFn RealNumber)	Merge.kif 4742-4742
(range AddressFn PhysicalAddress)	QoSontology.kif 225-225
(range AfternoonFn Afternoon)	Merge.kif 8948-8948
(range AgreementOrganizationFn Organization)	Geography.kif 3215-3215
(range AmountsFn List)	Merge.kif 7630-7630
(range ArcCosineFn RealNumber)	Merge.kif 5288-5288
(range ArcSineFn RealNumber)	Merge.kif 5298-5298
(range ArcTangentFn RealNumber)	Merge.kif 5278-5278
(range AssignmentFn Entity)	Merge.kif 781-781
(range AuctionGMBFn CurrencyMeasure)	UXExperimentalTerms.kif 3195-3195
(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 934-934
(range AverageFn RealNumber)	Merge.kif 3285-3285
(range BackFn SelfConnectedObject)	Merge.kif 892-892
(range BeginFn TimePoint)	Merge.kif 8068-8068
(range BeginNodeFn GraphNode)	Merge.kif 5968-5968
(range BeliefGroupMemberFn InternalAttribute)	People.kif 674-674
(range BidCountFn NonnegativeInteger)	UXExperimentalTerms.kif 2914-2914

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25