TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1490-1491
No TPTP formula. May not be expressible in strict first order.	Merge.kif 308-310
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 50-52
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 55-57
No TPTP formula. May not be expressible in strict first order.	Merge.kif 306-306	域範圍, 1 and Function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 307-307	域範圍, 2 and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 305-305	例範圍 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 304-304	例範圍 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 313-313
No TPTP formula. May not be expressible in strict first order.	english_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.	french_format.kif 179-179
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 238-238
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1999-1999
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 131-131
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 180-180
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 410-410
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 276-276
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 199-199
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 189-189
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 430-430
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 314-314
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48757-48757
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48756-48756

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3392-3396	例 Function and SequenceFunction 範圍 Function and Class 子類 Class and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 312-316	範圍 Function and Class 等於任務 Function and @ROW and Entity 例 Entity and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 324-330	範圍 Function and Class 範圍 Function and Class 子類 Class and Class 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 433-438	範圍 Function and Class 範圍 Function and Class 不相交的 Class and Class 不相交的關係 Function and Function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 318-322	子關係 Function and Function 範圍 Function and Class 範圍 Function and Class

consequent

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

Merge.kif 318-322

子關係 Function and Function 範圍 Function and Class
範圍 Function and Class

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3227-3227	範圍 ABPFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3272-3272	範圍 ASPFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2413-2413	範圍中止 and Process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2478-2478	範圍中止發射 and 起飛
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2432-2432	範圍任務中止 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4763-4763	範圍絕對值 and NonnegativeRealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1280-1280	範圍 AccelerationFn and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2317-2317	範圍帳戶 and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4714-4714	範圍加成 and RealNumber
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 224-224	範圍地址 and 實際地址
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8835-8835	範圍 AfternoonFn and 下午
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3057-3057	範圍協議組織 and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7580-7580	範圍 AmountsFn and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5260-5260	範圍 ArcCosineFn and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5270-5270	範圍 ArcSineFn and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5250-5250	範圍 ArcTangentFn and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 788-788	範圍任務 and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3195-3195	範圍 AuctionGMBFn and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Military.kif 866-866	範圍可用於兵役男性 and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3272-3272	範圍 AverageFn and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 899-899	範圍背部 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7983-7983	範圍開始 and TimePoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5943-5943	範圍開始節點 and GraphNode
No TPTP formula. May not be expressible in strict first order.	People.kif 674-674	範圍 BeliefGroupMemberFn and InternalAttribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2914-2914	範圍 BidCountFn and NonnegativeInteger

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: