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 308-310
(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 306-306
(domain range 2 Class)	Merge.kif 307-307
(instance range AsymmetricRelation)	Merge.kif 305-305
(instance range BinaryPredicate)	Merge.kif 304-304

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 48769-48769
(termFormat EnglishLanguage range "range")	domainEnglishFormat.kif 48768-48768

antecedent

(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3392-3396
(=> (and (range ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (instance ?VALUE ?CLASS))	Merge.kif 312-316
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 324-330
(=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 433-438
(=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1))	Merge.kif 318-322

consequent

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

Merge.kif 318-322

appearance as argument number 0

(range ABPFn CurrencyMeasure)	UXExperimentalTerms.kif 3235-3235
(range ASPFn CurrencyMeasure)	UXExperimentalTerms.kif 3280-3280
(range AbortedFn Process)	MilitaryProcesses.kif 2413-2413
(range AbortedLaunchFn TakingOff)	MilitaryProcesses.kif 2478-2478
(range AbortedMissionFn MilitaryOperation)	MilitaryProcesses.kif 2432-2432
(range AbsoluteValueFn NonnegativeRealNumber)	Merge.kif 4763-4763
(range AccelerationFn FunctionQuantity)	Cars.kif 1280-1280
(range AccountFn FinancialAccount)	FinancialOntology.kif 2317-2317
(range AdditionFn RealNumber)	Merge.kif 4714-4714
(range AddressFn PhysicalAddress)	QoSontology.kif 224-224
(range AfternoonFn Afternoon)	Merge.kif 8835-8835
(range AgreementOrganizationFn Organization)	Geography.kif 3057-3057
(range AmountsFn List)	Merge.kif 7580-7580
(range ArcCosineFn RealNumber)	Merge.kif 5260-5260
(range ArcSineFn RealNumber)	Merge.kif 5270-5270
(range ArcTangentFn RealNumber)	Merge.kif 5250-5250
(range AssignmentFn Entity)	Merge.kif 788-788
(range AuctionGMBFn CurrencyMeasure)	UXExperimentalTerms.kif 3203-3203
(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 866-866
(range AverageFn RealNumber)	Merge.kif 3272-3272
(range BackFn SelfConnectedObject)	Merge.kif 899-899
(range BeginFn TimePoint)	Merge.kif 7983-7983
(range BeginNodeFn GraphNode)	Merge.kif 5943-5943
(range BeliefGroupMemberFn InternalAttribute)	People.kif 700-700
(range BidCountFn NonnegativeInteger)	UXExperimentalTerms.kif 2922-2922

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25