TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 684-684	不相交的關係子屬性 and 繼承屬性
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1534-1535
No TPTP formula. May not be expressible in strict first order.	Merge.kif 686-687
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 100-101
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 117-118
No TPTP formula. May not be expressible in strict first order.	Merge.kif 682-682	域子屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 683-683	域子屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 680-680	例子屬性 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 681-681	例子屬性 and PartialOrderingRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 317-317
No TPTP formula. May not be expressible in strict first order.	english_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	french_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2001-2001
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 194-194
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 416-416
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 307-307
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 201-201
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 191-191
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 462-462
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55691-55691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55690-55690

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	% Nation %3 子屬性 Position and 外交代表 Human 例 Human and Human 公民 Human and Nation Nation 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	%2 是 1% 的 government 類別子屬性政體 and 神權政府例 GeopoliticalArea and GeopoliticalArea 例政府 GeopoliticalArea and ReligiousOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 345-350	%2 是 1% 的 government 類別子屬性政體 and 神權政府例 AutonomousAgent and Organization 例 AutonomousAgent and ReligiousOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	%2 是 1% 的 government 類別例 GeopoliticalArea and GeopoliticalArea 子屬性政體 and 議會政府 Organization 例 Organization and 議會子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 4621-4629	例 AutonomousAgent and Nation 例 AutonomousAgent and Nation 例 AutonomousAgent and Human attribute AutonomousAgent and Position 子屬性 Position and 外交代表 %１是對於％３給代理％２的 representative 代理 % AutonomousAgent %3
No TPTP formula. May not be expressible in strict first order.	Government.kif 2602-2606	關注的區域是 AutonomousAgent 的 organizational 目標子屬性關注的區域 and 關注的區域關注的區域是 AutonomousAgent 的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Merge.kif 696-700	子屬性 Attribute and Attribute 例 Attribute and Class 例 Attribute and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 689-694	子屬性 Attribute and Attribute Entity 屬性 Entity and Attribute 屬性 Entity and Attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4557-4563	GeopoliticalArea 是 GeopoliticalArea 的外交關西 Position 例 Position and 外國服務職位子屬性 Position and 外交代表 % GeopoliticalArea %3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4565-4571	GeopoliticalArea 是 GeopoliticalArea 的外交關西 Position 例 Position and 外國服務職位子屬性 Position and 外交代表 % GeopoliticalArea %3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4408-4410	例 Attribute and 外國服務職位子屬性 Attribute and 外交代表

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2899-2899	子屬性 AON 訂單 and 金融秩序
No TPTP formula. May not be expressible in strict first order.	naics.kif 3894-3894	子屬性磨料產品製造 and 其他非金屬礦產品製造
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1524-1524	子屬性 AbruzzeseCuisine and ItalianCuisine
No TPTP formula. May not be expressible in strict first order.	Government.kif 327-327	子屬性絕對君主制 and 威權政權
No TPTP formula. May not be expressible in strict first order.	Government.kif 240-240	子屬性絕對君主制 and 帝制
No TPTP formula. May not be expressible in strict first order.	naics.kif 11559-11559	子屬性住所 and 住宿和餐飲服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 9900-9900	子屬性會計稅務準備簿記和工資單服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order.	Government.kif 4440-4440	子屬性代理總領事 and 總領事
No TPTP formula. May not be expressible in strict first order.	naics.kif 9289-9289	子屬性與信貸中介有關的活動 and 信貸中介及相關活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 9647-9647	子屬性與房地產有關的活動 and RealEstateIndustry
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18808-18808	子屬性 Actor and Performer
No TPTP formula. May not be expressible in strict first order.	Biography.kif 353-353	子屬性精算師 and Scientist
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6030-6030	子屬性 AcuteBronchitis and Bronchitis
No TPTP formula. May not be expressible in strict first order.	naics.kif 3387-3387	子屬性膠粘劑製造 and 油漆塗料和膠粘劑製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 12355-12355	子屬性管理空氣和水資源以及固體廢物管理計劃 and 管理環境品質計劃
No TPTP formula. May not be expressible in strict first order.	naics.kif 12364-12364	子屬性管理保護計劃 and 管理環境品質計劃
No TPTP formula. May not be expressible in strict first order.	naics.kif 12395-12395	子屬性管理經濟計劃 and 公共行政
No TPTP formula. May not be expressible in strict first order.	naics.kif 12317-12317	子屬性管理教育計劃 and 管理人力資源計劃
No TPTP formula. May not be expressible in strict first order.	naics.kif 12348-12348	子屬性管理環境品質計劃 and 公共行政
No TPTP formula. May not be expressible in strict first order.	naics.kif 12401-12401	子屬性一般經濟計劃的管理 and 管理經濟計劃
No TPTP formula. May not be expressible in strict first order.	naics.kif 12379-12379	子屬性住房計劃管理 and 住房計劃管理城市規劃和社區發展
No TPTP formula. May not be expressible in strict first order.	naics.kif 12371-12371	子屬性住房計劃管理城市規劃和社區發展 and 公共行政
No TPTP formula. May not be expressible in strict first order.	naics.kif 12311-12311	子屬性管理人力資源計劃 and 公共行政
No TPTP formula. May not be expressible in strict first order.	naics.kif 12331-12331	子屬性除教育公共衛生和退伍軍人事務計劃外的人力資源計劃管理 and 管理人力資源計劃
No TPTP formula. May not be expressible in strict first order.	naics.kif 12324-12324	子屬性管理公共衛生計劃 and 管理人力資源計劃

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: