TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1962-1963
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2937-2938
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 594-595
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2933-2933	表列函数的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2931-2931	表列函数是函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2932-2932	表列函数是不定次元关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2935-2935	表列函数的 range 是串列的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 261-261
No TPTP formula. May not be expressible in strict first order.	english_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.	french_format.kif 149-149
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 167-167
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1977-1977
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 101-101
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 158-158
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 336-336
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 168-168
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 333-333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34685-34685
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 262-262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34684-34684
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34683-34683
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 107-107
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 334-334

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 476-484	如果 @ROW 是的相反和属性 equal (@ROW) 的第正整数几个元素和另一个属性 equal (@ROW) 的第另一个正整数几个元素和那个正整数不 equal 那个另外正整数和另一个实体有那个属性的 attribute，然后那个另外实体不有那个另外属性的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 470-474	如果 @ROW1 是的相反和 (@ROW2) 是 (@ROW1) 的 identical 清单项目，然后 @ROW2 是的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18446-18451	如果 defaultMaxValue 谓语, 正整数 and 数量和那个谓语 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个数量是 greaterThan 那个另外实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18434	如果 defaultMinValue 谓语, 正整数 and 数量和那个谓语 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个另外实体是 greaterThan 那个数量的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18463-18468	如果 defaultValue 谓语, 正整数 and 数量和那个谓语 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个数量 equal 那个另外实体的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 295-302	如果串列 equal 另一个串列和那个串列 equal (@ROW1) 和那个另外串列 equal (@ROW2)，然后 (@ROW1) 的第正整数几个元素 equal (@ROW2) 的第那个正整数几个元素
No TPTP formula. May not be expressible in strict first order.	Media.kif 2106-2113	如果那只能是 1 values 对于关系的参数正整数和那个关系是谓语的 instance 和那个关系 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素和第三实体 equal (@ARGS) 的第那个正整数几个元素，然后那个另外实体 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 2093-2103	如果那只能是 1 values 对于关系的参数正整数和那个关系是谓语的 instance 和那个关系 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，然后不存在第三实体这样那个第三实体 equal (@ARGS) 的第那个正整数几个元素和那个另外实体不 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 503-507	如果 @ROW 是所有的另一个有点属性的 attributes 和实体是 (@ROW) 的 member，然后那个实体是另一个有点属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 497-501	如果 @ROW 是所有的另一个有点属性的 attributes 和实体是 (@ROW) 的 member，然后那个实体是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	如果 @ROW 的 region 方向属性是地区的 instance 和 (@ROW) 的第 1 几个元素 equal 实数圆周角度，然后那个实数是 lessThanOrEqualTo 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	如果在 @ROW 方向属性的 meridian 是地区的 instance 和 (@ROW) 的第 1 几个元素 equal 实数圆周角度，然后那个实数是 lessThanOrEqualTo 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2677-2682	如果实体是有意图的关系的 instance 和那个实体有认知的主事 and @ROW 和第三实体是 (@ROW) 的 member，然后那个有认知的主事对那个第三实体感兴趣
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16921-16929	如果客体在另一个客体的位置属性和 @ROW 是的相反和那个位置属性是 (@ROW) 的 member 和另一个位置属性是 (@ROW) 的 member 和那个位置属性不 equal 那个另外位置属性，然后那个客体不在那个另外客体的那个另外位置属性
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 694-710	如果 @ROW processes 的 list 和物理是 (@ROW) 的 member 和另一个物理是 (@ROW) 的 member 和 (@ROW) 的第正整数几个元素 equal 那个物理和 (@ROW) 的第另一个正整数几个元素 equal 那个另外物理和那个正整数是 lessThan 那个另外正整数，然后那个物理出现的 time 比那个另外物理出现的 time发生的earlier

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2998-3003	如果关系的正整数数量是类的 instance 和那个关系是谓语的 instance 和那个关系 @ROW，然后 (@ROW) 的第那个正整数几个元素是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3005-3010	如果关系的正整数数量是类的 subclass 和那个关系是谓语的 instance 和那个关系 @ROW，然后 (@ROW) 的第那个正整数几个元素是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4861-4872	如果 @ROW 的最大公因数 equal 整数和那个整数不 equal 0，然后对所有另一个整数如果那个另外整数是 (@ROW) 的 member，然后那个另外整数模除那个整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	如果 @ROW 的最大公因数 equal 整数和那个整数不 equal 0，然后不存在另一个整数这样那个另外整数是 greaterThan 那个整数和对所有第三整数如果那个第三整数是 (@ROW) 的 member，然后那个第三整数模除那个另外整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4946-4956	如果 @ROW 的最小公倍数 equal 整数和那个整数不 equal 0，然后对所有另一个整数如果那个另外整数是 (@ROW) 的 member，然后那个整数模除那个另外整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	如果 @ROW 的最小公倍数 equal 整数和那个整数不 equal 0，然后不存在另一个整数这样那个另外整数是 lessThan 那个整数和对所有第三整数如果那个第三整数是 (@ROW) 的 member，然后那个另外整数模除那个第三整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 295-302	如果串列 equal 另一个串列和那个串列 equal (@ROW1) 和那个另外串列 equal (@ROW2)，然后 (@ROW1) 的第正整数几个元素 equal (@ROW2) 的第那个正整数几个元素
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3179-3188	如果串列 equal SubListFn 正整数, 整数 and 另一个串列和 (那个整数和那个正整数) equal 1，然后那个串列 equal (那个另外串列的第那个正整数几个元素)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3190-3202	如果串列 equal SubListFn 正整数, 整数 and 另一个串列和 (那个整数和那个正整数) 是 greaterThan 1，然后那个串列 equal List包含 (那个另外串列的第那个正整数几个元素) 和 SubListFn (1 和那个正整数), 那个整数 and 那个另外串列
No TPTP formula. May not be expressible in strict first order.	Media.kif 2093-2103	如果那只能是 1 values 对于关系的参数正整数和那个关系是谓语的 instance 和那个关系 @ARGS 和另一个实体 equal (@ARGS) 的第那个正整数几个元素，然后不存在第三实体这样那个第三实体 equal (@ARGS) 的第那个正整数几个元素和那个另外实体不 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 2075-2090	如果那只能是 1 values 对于关系的参数正整数和那个关系是谓语的 instance，然后有存在实体和 @ARGS 这样那个关系 @ARGS 和那个实体 equal (@ARGS) 的第那个正整数几个元素和不存在第三实体这样那个第三实体 equal (@ARGS) 的第那个正整数几个元素和那个实体不 equal 那个第三实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	如果那只能是整数 values 对于关系的参数正整数和那个关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量 equal 那个整数
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	如果那里能有最多 %3 values 对于 1% 的参数 2% 和关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量是 lessThanOrEqualTo 整数
No TPTP formula. May not be expressible in strict first order.	Media.kif 2174-2187	如果那里至少有整数 values 对于关系的参数正整数和那个关系是谓语的 instance，然后有存在类，实体， and 和 @ARGS 这样那个类是集或类的 instance 和如果那个关系 @ARGS 和那个实体 equal (@ARGS) 的第那个正整数几个元素，然后那个实体是那个类的 instance 和那个类 instance 的数量是 greaterThanOrEqualTo 那个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3048-3055	如果关系 % 有正整数 Argument 和那个关系是谓语的 instance，然后对所有 @ROW 如果那个关系 @ROW，然后 (@ROW) 的长度 equal 那个正整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 464-468	如果 @ROW 是的相反，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2950-2955	如果类分拆成不相交的 @ROW，然后对所有第三类如果那个第三类是 (@ROW) 的 member，然后那个第三类是那个类的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2957-2966	如果类分拆成不相交的 @ROW，然后对所有第三类和第四类如果那个第三类是 (@ROW) 的 member 和那个第四类是 (@ROW) 的 member 和那个第三类不 equal 那个第四类，然后那个第三类和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 574-578	如果 @ROW 分拆成不相交的 @ROW，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4854-4859	如果 @ROW 的最大公因数 equal 整数，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是数字的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4939-4944	如果 @ROW 的最小公倍数 equal 整数，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是数字的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2125-2134	如果那只能是整数 values 对于关系的参数另一个整数，然后有存在符号串和 @ARGS 这样那个符号串所描述的类别 instance 的数量 equal 那个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 519-531	如果 @ROW 是所有的另一个有点属性的 attributes ，然后不存在实体这样那个实体是另一个有点属性的 instance 和不存在另一个实体和正整数这样那个实体 equal 那个另外实体和那个另外实体 equal (@ROW) 的第那个正整数几个元素
No TPTP formula. May not be expressible in strict first order.	Merge.kif 509-517	如果 @ROW 是所有的另一个有点属性的 attributes ，然后对所有实体如果那个实体是另一个有点属性的 instance，然后有存在另一个实体这样那个另外实体是 (@ROW) 的 member 和那个实体 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2940-2948	如果 @ROW 涵盖另一个类，然后对所有实体如果那个实体是那个另外类的 instance，然后有存在第三类这样那个第三类是 (@ROW) 的 member 和那个实体是那个第三类的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3037-3040	对所有 @ROW 和另一个实体 (@ROW 和那个另外实体) 的长度 equal ((@ROW) 的长度+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3042-3046	对所有 @ROW 和另一个实体 (@ROW 和那个另外实体) 的第 (@ROW 和那个另外实体) 的长度几个元素 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3315-3316	对所有 @ROW 和另一个实体 (@ROW) %starts (@ROW 和那个另外实体)

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

KB Term:			Term intersection

English Word: