TreeView Knowledge Base Browser

appearance as argument number 1

(documentation inList ChineseLanguage "这是类似 List 的 element 和 instance。 (inList ?OBJ ?LIST) 的意思是 ?OBJ 是在 ?LIST List 里。例如： (inList Tuesday (ListFn Monday Tuesday Wednesday)) 是真的")	Merge.kif 3313-3315
(documentation inList EnglishLanguage "The analog of element and instance for Lists. (inList ?OBJ ?LIST) means that ?OBJ is in the List ?LIST. For example, (inList Tuesday (ListFn Monday Tuesday Wednesday)) would be true.")	Merge.kif 3310-3312
(domain inList 1 Entity)	Merge.kif 3308-3308	在列表内的 1 数量是实体的 instance
(domain inList 2 List)	Merge.kif 3309-3309	在列表内的 2 数量是串列的 instance
(instance inList AsymmetricRelation)	Merge.kif 3306-3306	在列表内是非对称关系的 instance
(instance inList BinaryPredicate)	Merge.kif 3304-3304	在列表内是二元谓语的 instance
(instance inList IrreflexiveRelation)	Merge.kif 3305-3305	在列表内是非自反关系的 instance
(instance inList PartialValuedRelation)	Merge.kif 3307-3307	在列表内是部分值关系的 instance

appearance as argument number 2

(format ChineseLanguage inList "%1 %n 是 %2 的 member")	chinese_format.kif 131-131
(format EnglishLanguage inList "%1 is %n a member of %2")	english_format.kif 92-92
(subrelation albumTrack inList)	Music.kif 335-335	albumTrack 是在列表内的 subrelation
(termFormat ChineseLanguage inList "在列表内")	chinese_format.kif 132-132	termFormat ChineseLanguage, 在列表内 and "在列表内"
(termFormat EnglishLanguage inList "in list")	domainEnglishFormat.kif 5449-5449	termFormat EnglishLanguage, 在列表内 and "in list"

antecedent

(=> (and (inList ?ITEM ?RESULTS) (instance ?RESULTS SRPResults)) (exists (?SRP) (and (instance ?SRP SearchResultsPage) (component ?RESULTS ?SRP))))	UXExperimentalTerms.kif 2698-2705	如果实体是串列的 member 和那个串列是 SRPResults 的 instance，然后有存在躯体性物体这样那个躯体性物体是 SearchResultsPage 的 instance 和那个串列是那个躯体性物体的 component
(=> (and (inList ?ITEM ?RESULTS) (instance ?RESULTS SRPResults)) (or (instance ?ITEM WebListing) (instance ?ITEM WebPage)))	UXExperimentalTerms.kif 2690-2696	如果实体是串列的 member 和那个串列是 SRPResults 的 instance，然后那个实体是 WebListing 的 instance 或那个实体是 WebPage 的 instance
(=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ))	Merge.kif 2859-2864	如果实体是 IntentionalRelation 的 instance 和那个实体有认知的主事 and @ROW 和第三实体是 (@ROW) 的 member，然后那个有认知的主事对那个第三实体感兴趣
(=> (and (orientation ?OBJ1 ?OBJ2 ?ATTR1) (contraryAttribute @ROW) (inList ?ATTR1 (ListFn @ROW)) (inList ?ATTR2 (ListFn @ROW)) (not (equal ?ATTR1 ?ATTR2))) (not (orientation ?OBJ1 ?OBJ2 ?ATTR2)))	Merge.kif 17237-17245	如果客体在另一个客体的位置属性和 @ROW 是的相反和那个位置属性是 (@ROW) 的 member 和另一个位置属性是 (@ROW) 的 member 和那个位置属性不 equal 那个另外位置属性，然后那个客体不在那个另外客体的那个另外位置属性
(=> (and (processList @ROW) (inList ?Process1 (ListFn @ROW)) (inList ?Process2 (ListFn @ROW)) (equal (ListOrderFn (ListFn @ROW) ?Number1) ?Process1) (equal (ListOrderFn (ListFn @ROW) ?Number2) ?Process2) (lessThan ?Number1 ?Number2)) (earlier (WhenFn ?Process1) (WhenFn ?Process2)))	QoSontology.kif 690-698	如果 processList @ROW 和物理是 (@ROW) 的 member 和另一个物理是 (@ROW) 的 member 和 (@ROW) 的第正整数几个元素 equal 那个物理和 (@ROW) 的第另一个正整数几个元素 equal 那个另外物理和那个正整数是 lessThan 那个另外正整数，然后那个物理出现的 time 比那个另外物理出现的 time发生的earlier
(=> (and (viewedItemList ?USER ?LIST) (inList ?ACCESSING ?LIST)) (and (instance ?ACCESSING AccessingWebPage) (agent ?ACESSING ?USER) (exists (?DEST) (and (instance ?DEST WebPage) (destination ?ACCESSING WebPage)))))	UXExperimentalTerms.kif 961-971	如果 viewedItemList 施事体 and 串列和过程是那个串列的 member，然后那个过程是 AccessingWebPage 的 instance 和那个施事体是另一个过程的 agent 和有存在实体这样那个实体是 WebPage 的 instance 和那个过程在 WebPage 结束
(=> (inList ?ITEM ?LIST) (exists (?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)))	Merge.kif 3317-3320	如果实体是串列的 member，然后有存在正整数这样那个串列的第那个正整数几个元素 equal 那个实体

consequent

(<=> (average ?LIST1 ?AVERAGE) (exists (?LIST2) (and (equal (ListLengthFn ?LIST2) (ListLengthFn ?LIST1)) (equal (ListOrderFn ?LIST2 1) (ListOrderFn ?LIST1 1)) (forall (?ITEMFROM2) (=> (inList ?ITEMFROM2 ?LIST2) (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2) (and (greaterThan ?POSITION 1) (lessThanOrEqualTo ?POSITION (ListLengthFn ?LIST2)) (equal (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION) (inList ?ITEMFROM1 ?LIST1) (equal ?POSITION (ListOrderFn ?LIST1 ?ITEMFROM1)) (inList ?PRIORFROM2 ?LIST2) (equal ?POSITIONMINUSONE (SubtractionFn ?POSITION 1)) (equal ?POSITIONMINUSONE (ListOrderFn ?LIST2 ?PRIORFROM2)) (equal ?ITEMFROM2 (AdditionFn ?ITEMFROM1 ?PRIORFROM2)))))) (equal ?LASTPLACE (ListLengthFn ?LIST2)) (equal ?AVERAGE (DivisionFn (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))	People.kif 285-306	average 串列 and 实数若且唯若有存在另一个串列这样那个另外串列的长度 equal 那个串列的长度和那个另外串列的第 1 几个元素 equal 那个串列的第 1 几个元素和对所有正整数如果那个正整数是那个另外串列的 member，然后有存在数量，那个数量MINUSONE,，，另一个正整数， and 和第三正整数这样那个数量是 greaterThan 1 和那个数量是 lessThanOrEqualTo 那个另外串列的长度和那个另外串列的第那个正整数几个元素 equal 那个数量和那个另外正整数是那个串列的 member 和那个数量 equal 那个串列的第那个另外正整数几个元素和那个第三正整数是那个另外串列的 member 和那个数量MINUSONE equal (那个数量和 1) 和那个数量MINUSONE equal 那个另外串列的第那个第三正整数几个元素和那个正整数 equal (那个另外正整数和那个第三正整数) 和第四正整数 equal 那个另外串列的长度和那个实数 equal 那个另外串列的第那个第四正整数几个元素和那个第四正整数
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 411-442	FemaleLifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和 average 那个串列 and 那个实数
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 323-353	LifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和 average 那个串列 and 那个实数
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 367-398	MaleLifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数若且唯若有存在串列这样那个串列是串列的 instance 和那个串列的长度是另一个整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是符号串的 instance 和不存在另一个实体这样那个另外实体是那个符号串的 instance 和那个另外实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和 average 那个串列 and 那个实数
(=> (albumArtist ?A ?P) (exists (?R ?M) (and (instance ?R Recording) (inList ?R ?A) (record ?R ?M) (agent ?M ?P))))	Music.kif 274-281	如果 albumArtist Album and 有认知的主事，然后有存在有内用物体和过程这样那个有内用物体是 Recording 的 instance 和那个有内用物体是那个 Album 的 member 和 record 那个有内用物体 and 那个过程和那个有认知的主事是那个过程的 agent
(=> (and (equal ?D (AlbumCopiesFn ?A ?DS)) (instance ?X ?D)) (forall (?S) (=> (inList ?S ?A) (exists (?C) (and (copy ?C ?S) (stored ?C ?D))))))	Music.kif 936-946	如果有点 DataStorageDevice equal AlbumCopiesFn Album and 有点 DataStorageDeviceS 和实体是那个有点 DataStorageDevice 的 instance，然后对所有客体如果那个客体是那个 Album 的 member，然后有存在有内用物体这样那个有内用物体是和那个客体完全相同的 copy 和 stored 那个有内用物体 and 那个有点 DataStorageDevice
(=> (and (instance ?ATTR RecordingAttribute) (albumType ?A ?ATTR)) (forall (?R) (=> (inList ?R ?M) (attribute ?R ?A))))	Music.kif 291-298	如果关联属性是 RecordingAttribute 的 instance 和 albumType Album and 那个关联属性，然后对所有客体如果那个客体是串列的 member，然后那个 Album 是那个客体的 attribute
(=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST) (and (codeMapping ?SCHEME ?PART ?NUM) (represents ?LIST ?SCHEME) (=> (inList ?NUM ?LIST) (instance ?NUM BinaryNumber)))))	Media.kif 801-812	如果客体是 DigitalDataStorageDevice 的 instance 和符号串是那个客体的 part 和那个符号串是 DigitalData 的 instance，然后有存在 CodeMap 和串列这样 codeMapping 那个 CodeMap, 那个符号串 and 实体和那个串列表达那个 CodeMap 和如果那个实体是那个串列的 member，然后那个实体是二进制数的 instance
(=> (average ?LIST ?AVERAGE) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (instance ?LISTITEM RealNumber))))	Merge.kif 5465-5470	如果 average 串列 and 实数，然后对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是实数的 instance
(=> (contraryAttribute @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Attribute)))	Merge.kif 516-520	如果 @ROW 是的相反，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是属性的 instance
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 3146-3151	如果类分拆成不相交的 @ROW，然后对所有集或类如果那个集或类是 (@ROW) 的 member，然后那个集或类是那个类的 subclass
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM1 ?ITEM2) (=> (and (inList ?ITEM1 (ListFn @ROW)) (inList ?ITEM2 (ListFn @ROW)) (not (equal ?ITEM1 ?ITEM2))) (disjoint ?ITEM1 ?ITEM2))))	Merge.kif 3153-3162	如果类分拆成不相交的 @ROW，然后对所有集或类和另一个集或类如果那个集或类是 (@ROW) 的 member 和那个另外集或类是 (@ROW) 的 member 和那个集或类不 equal 那个另外集或类，然后那个集或类和 % 2 是 disjoint
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 628-632	如果 @ROW 分拆成不相交的 @ROW，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是类的 instance
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number)))	Merge.kif 5016-5021	如果 @ROW 的最大公因数 equal 整数，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是数字的 instance
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?NUMBER) 0))))	Merge.kif 5023-5028	如果 @ROW 的最大公因数 equal 整数，然后对所有另一个整数如果那个另外整数是 (@ROW) 的 member，然后那个另外整数模除那个整数 equal 0
(=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (not (exists (?GREATER) (and (greaterThan ?GREATER ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?ELEMENT ?GREATER) 0)))))))	Merge.kif 5030-5038	如果 @ROW 的最大公因数 equal 整数，然后不存在另一个整数这样那个另外整数是 greaterThan 那个整数和对所有第三整数如果那个第三整数是 (@ROW) 的 member，然后那个第三整数模除那个另外整数 equal 0
(=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number)))	Merge.kif 5095-5100	如果 @ROW 的最小公倍数 equal 整数，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是数字的 instance
(=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?NUMBER ?ELEMENT) 0))))	Merge.kif 5102-5107	如果 @ROW 的最小公倍数 equal 整数，然后对所有另一个整数如果那个另外整数是 (@ROW) 的 member，然后那个整数模除那个另外整数 equal 0
(=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (not (exists (?LESS) (and (lessThan ?LESS ?NUMBER) (forall (?ELEMENT) (=> (inList ?ELEMENT (ListFn @ROW)) (equal (RemainderFn ?LESS ?ELEMENT) 0)))))))	Merge.kif 5109-5117	如果 @ROW 的最小公倍数 equal 整数，然后不存在另一个整数这样那个另外整数是 lessThan 那个整数和对所有第三整数如果那个第三整数是 (@ROW) 的 member，然后那个另外整数模除那个第三整数 equal 0
(=> (exhaustiveAttribute ?CLASS @ROW) (=> (inList ?ATTR (ListFn @ROW)) (instance ?ATTR Attribute)))	Merge.kif 554-558	如果 exhaustiveAttribute 有点属性 and @ROW，然后如果实体是 (@ROW) 的 member，然后那个实体是属性的 instance
(=> (exhaustiveAttribute ?CLASS @ROW) (forall (?ATTR1) (=> (instance ?ATTR1 ?CLASS) (exists (?ATTR2) (and (inList ?ATTR2 (ListFn @ROW)) (equal ?ATTR1 ?ATTR2))))))	Merge.kif 560-568	如果 exhaustiveAttribute 有点属性 and @ROW，然后对所有实体如果那个实体是有点属性的 instance，然后有存在另一个实体这样那个另外实体是 (@ROW) 的 member 和那个实体 equal 那个另外实体
(=> (exhaustiveDecomposition ?CLASS @ROW) (forall (?OBJ) (=> (instance ?OBJ ?CLASS) (exists (?ITEM) (and (inList ?ITEM (ListFn @ROW)) (instance ?OBJ ?ITEM))))))	Merge.kif 3136-3144	如果 @ROW 涵盖另一个类，然后对所有实体如果那个实体是那个另外类的 instance，然后有存在集或类这样那个集或类是 (@ROW) 的 member 和那个实体是那个集或类的 instance
(=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 611-615	如果 @ROW 涵盖 @ROW，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是类的 instance
(=> (instance ?L Album) (forall (?X) (=> (inList ?X ?L) (instance ?X Recording))))	Music.kif 53-58	如果串列是 Album 的 instance，然后对所有实体如果那个实体是那个串列的 member，然后那个实体是 Recording 的 instance
(=> (instance ?SVC ShuttleService) (exists (?LIST ?VEHICLE ?AGENT) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (instance ?VEHICLE Automobile) (instance ?LIST List) (forall (?X) (=> (inList ?X ?LIST) (and (instance ?X PostalPlace) (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?AGENT) (instrument ?TRANSPORT ?VEHICLE) (destination ?TRANSPORT ?X)))))))))	Hotel.kif 1979-1997	如果过程是 ShuttleService 的 instance，然后有存在串列，客体， and 和施事体这样那个施事体是那个过程的 agent 和那个施事体 possesses 那个客体和那个客体是 Automobile 的 instance 和那个串列是串列的 instance 和对所有实体如果那个实体是那个串列的 member，然后那个实体是 PostalPlace 的 instance 和有存在另一个过程这样那个另外过程是运输的 instance 和那个施事体是那个另外过程的 agent 和那个客体是导致那个另外过程的 instrument 和那个另外过程在那个实体结束

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: