TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1964-1966
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2981-2984
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 596-598
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2977-2977	域清單順序, 1 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2978-2978	域清單順序, 2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2975-2975	例清單順序 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2976-2976	例清單順序 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2979-2979	範圍清單順序 and Entity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order.	english_format.kif 268-268
No TPTP formula. May not be expressible in strict first order.	french_format.kif 150-150
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 169-169
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1978-1978
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 102-102
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 338-338
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 207-207
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 169-169
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 156-156
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 337-337
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34697-34697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34696-34696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34695-34695
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 108-108
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 338-338

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 476-484	相反的屬性 @ROW 等於 Attribute and 清單順序名單 @ROW and PositiveInteger 等於 Attribute and 清單順序名單 @ROW and PositiveInteger 等於 PositiveInteger and PositiveInteger 屬性 Entity and Attribute 屬性 Entity and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18446-18451	defaultMaxValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 模態屬性比較多 Quantity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18434	defaultMinValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 模態屬性比較多 Entity and Quantity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18463-18468	defaultValue Predicate, PositiveInteger and Quantity Predicate @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 模態屬性等於 Quantity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3219-3223	等於列表長度 List and PositiveInteger 等於清單順序 List and PositiveInteger and Entity 等於 List 的 last and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1838-1845	等於 NumberList and PhysicalQuantityToNumberFn MeasuringResultList 等於 PhysicalQuantity and 清單順序 MeasuringResultList and PositiveInteger 等於 PositiveIntegerUM and 清單順序 NumberList and PositiveInteger 等於測量 PositiveIntegerUM and UnitOfMeasure and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2106-2113	那只能是 1 values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2093-2103	那只能是 1 values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger Entity 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	例 @ROW 的 region DirectionalAttribute and Region 等於清單順序名單 @ROW and 1 and 測量 RealNumber and 圓周角度小於或等於 RealNumber and 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	例在 @ROW DirectionalAttribute 的 meridian and Region 等於清單順序名單 @ROW and 1 and 測量 RealNumber and 圓周角度小於或等於 RealNumber and 180.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1935-1944	例 List and ConsecutiveTimeIntervalList 等於 TimeInterval and 清單順序 List and PositiveInteger 等於 TimeInterval and 清單順序 List and 加成 PositiveInteger and 1 等於開始 TimeInterval and 結束 TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1806-1811	measuringResult MeasuringList and MeasuringResultList 等於 Process and 清單順序 MeasuringList and PositiveInteger 等於 Entity and 清單順序 MeasuringResultList and PositiveInteger 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 694-710	@ROW processes 的 list 在列表中 Physical and 名單 @ROW 在列表中 Physical and 名單 @ROW 等於清單順序名單 @ROW and PositiveInteger and Physical 等於清單順序名單 @ROW and PositiveInteger and Physical 少於 PositiveInteger and PositiveInteger 早期何時 Physical and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 799-817	List 是樣品清單 viewed 由 AutonomousAgent 例 Process and AccessingWebPage 例 Process and AccessingWebPage agent Process and AutonomousAgent agent Process and AutonomousAgent 例 PositiveInteger and PositiveInteger 例 PositiveInteger and PositiveInteger 等於清單順序 List and PositiveInteger and Process 等於清單順序 List and PositiveInteger and Process 比較多 PositiveInteger and PositiveInteger 早期何時 Process and 何時 Process

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	RealNumber 是 List 的 average List PositiveInteger 等於列表長度 List and 列表長度 List 等於清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List 等於清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List 等於 RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List 等於 RealNumberMINUSONE and 減法 RealNumber and 1 等於 RealNumberMINUSONE and 清單順序 List and PositiveInteger 等於 PositiveInteger and 加成 PositiveInteger and PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2998-3003	域 Relation, PositiveInteger and Class 例 Relation and Predicate Relation @ROW 例清單順序名單 @ROW and PositiveInteger and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3005-3010	域子類 Relation, PositiveInteger and Class 例 Relation and Predicate Relation @ROW 子類清單順序名單 @ROW and PositiveInteger and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3252-3256	等於 RealNumber and ListSumFn List 等於 1 and 列表長度 List 等於 RealNumber and 清單順序 List and 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 295-302	等於 List and List 等於 List and 名單 @ROW1 等於 List and 名單 @ROW2 等於清單順序名單 @ROW1 and PositiveInteger and 清單順序名單 @ROW2 and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3083-3102	等於 List and 列表連接 List and List 等於 List and 空列表等於 List and 空列表小於或等於 PositiveInteger and 列表長度 List 小於或等於 PositiveInteger and 列表長度 List 例 PositiveInteger and PositiveInteger 例 PositiveInteger and PositiveInteger 等於清單順序 List and PositiveInteger and 清單順序 List and PositiveInteger 等於清單順序 List and 加成列表長度 List and PositiveInteger and 清單順序 List and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3179-3188	等於 List and SubListFn PositiveInteger, Integer and List 等於減法 Integer and PositiveInteger and 1 等於 List and 名單清單順序 List and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3190-3202	等於 List and SubListFn PositiveInteger, Integer and List 比較多減法 Integer and PositiveInteger and 1 等於 List and 列表連接名單清單順序 List and PositiveInteger and SubListFn 加成 1 and PositiveInteger, Integer and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1486-1497	等於 RealNumber and VarianceAverageFn RealNumber and List 等於 1 and 列表長度 List 等於 RealNumber and 乘法減法 RealNumber and 清單順序 List and 1 and 減法 RealNumber and 清單順序 List and 1
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	等於 RealNumber and VarianceAverageFn Number and List 比較多列表長度 List and 1 等於 RealNumber and 加成 VarianceAverageFn Number and 清單順序 List and 1 and VarianceAverageFn Number and SubListFn 2, 列表長度 List and List
No TPTP formula. May not be expressible in strict first order.	Media.kif 2093-2103	那只能是 1 values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger Entity 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2075-2090	那只能是 1 values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Entity @ARGS Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger Entity 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	那只能是 Integer values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Class Entity and @ARGS 例 Class and SetOrClass Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 例 Entity and Class 等於基數 Class and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3232-3237	例 List and List 等於 List and 空列表等於 List 的 first and 清單順序 List and 1
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2388-2404	例 Process and SEO 患者 Process and Entity 有目的 Process and entity_BEFORE entity_AFTER, entity, entity, entity and entity 例 entity_BEFORE and SRPResults 例 entity_AFTER and SRPResults 等於 Entity and 清單順序 entity_BEFORE and entity 等於 Entity and 清單順序 entity_AFTER and entity 例 entity and BestMatchAlgorithm 例 entity and BestMatchAlgorithm 早期何時 entity and 何時 entity 早期何時 Process and 何時 entity 早期何時 entity and 何時 Process 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	那裡能有最多 %3 values 對於 1% 的參數 2% 例 Relation and Predicate Class Entity and @ARGS 例 Class and SetOrClass Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 例 Entity and Class 小於或等於基數 Class and Integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2174-2187	那裡至少有 Integer values 對於 Relation 的參數 PositiveInteger 例 Relation and Predicate Class Entity and @ARGS 例 Class and SetOrClass Relation @ARGS 等於 Entity and 清單順序名單 @ARGS and PositiveInteger 例 Entity and Class 大於或等於基數 Class and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3212-3217	等於 List 的 last and Entity PositiveInteger 等於列表長度 List and PositiveInteger 等於清單順序 List and PositiveInteger and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2125-2134	那只能是 Integer values 對於 Relation 的參數 Integer SymbolicString @ARGS 等於基數卡帕 SymbolicString and Relation @ARGS 等於 SymbolicString and 清單順序名單 @ARGS and Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 519-531	@ROW 是所有的 Attribute 的 attributes Entity 例 Entity and Attribute Entity PositiveInteger 等於 Entity and Entity 等於 Entity and 清單順序名單 @ROW and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3113-3116	在列表中 Entity and List PositiveInteger 等於清單順序 List and PositiveInteger and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2910-2915	例 List and UniqueList PositiveInteger PositiveInteger 等於清單順序 List and PositiveInteger and 清單順序 List and PositiveInteger 等於 PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	Media.kif 2198-2207	那裡能有最多 %3 values 對於 1% 的參數 2% SymbolicString @ARGS 小於或等於基數卡帕 SymbolicString and Relation @ARGS 等於 SymbolicString and 清單順序名單 @ARGS and Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2161-2170	那裡至少有 Integer values 對於 Relation 的參數 Integer SymbolicString @ARGS 大於或等於基數卡帕 SymbolicString and Relation @ARGS 等於 SymbolicString and 清單順序名單 @ARGS and Integer and Integer

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3042-3046

@ROW Entity 等於清單順序名單 @ROW and Entity and 列表長度名單 @ROW and Entity and Entity

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

KB Term:			Term intersection

English Word: