TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 88-89
No TPTP formula. May not be expressible in strict first order.	Economy.kif 81-81	域經濟類型, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 85-85	域經濟類型, 2 and 經濟屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 80-80	例經濟類型 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Economy.kif 86-86	子關係經濟類型 and attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 828-828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 827-827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 826-826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21204-21204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21203-21203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21202-21202

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 大於或等於 RealNumber and 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中低收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中上收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 大於或等於 RealNumber and 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 490-497	例 TimeInterval and TimeInterval 持有期間 TimeInterval and 中上收入國家是 GeopoliticalArea 的 economy 類別 RealNumber GeopoliticalArea 是對於 TimeInterval 在週期測量 RealNumber and 美國美元的 per 人頭 GDP 少於 RealNumber and 9267.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 91-95	經濟屬性是 AutonomousAgent 的 economy 類別例 AutonomousAgent and GeopoliticalArea 例 AutonomousAgent and Organization

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 865-869	attribute AutonomousAgent and 共產主義國家例 AutonomousAgent and Nation 中央計劃經濟是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 506-510	attribute AutonomousAgent and 高收入國家會員 AutonomousAgent and 石油輸出國組織發達國家是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 189-191	attribute AutonomousAgent and 前蘇聯或東歐國家轉型國家是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 388-390	attribute AutonomousAgent and 四龍經濟發達經濟是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 384-386	attribute AutonomousAgent and 四龍經濟較未發達國家是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 432-434	attribute AutonomousAgent and 低收入國家最不發達國家是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 747-749	attribute AutonomousAgent and 主要工業經濟發達經濟是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 743-745	attribute AutonomousAgent and 主要工業經濟發達國家是 AutonomousAgent 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 879-881	attribute AutonomousAgent and 私有化經濟轉型國家是 AutonomousAgent 的 economy 類別

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Economy.kif 615-615	發展中國家是阿富汗的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 231-231	較未發達國家是阿富汗的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 574-574	轉型國家是阿爾巴尼亞的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 616-616	發展中國家是阿爾及利亞的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 232-232	較未發達國家是阿爾及利亞的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 146-146	發達國家是安道爾的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 617-617	發展中國家是安哥拉的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 233-233	較未發達國家是安哥拉的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 618-618	發展中國家是安提瓜和巴布達的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 234-234	較未發達國家是安提瓜和巴布達的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 619-619	發展中國家是阿根廷的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 235-235	較未發達國家是阿根廷的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 575-575	轉型國家是亞美尼亞的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 620-620	發展中國家是阿魯巴的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 236-236	較未發達國家是阿魯巴的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 535-535	發達經濟是澳大利亞的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 147-147	發達國家是澳大利亞的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 536-536	發達經濟是奧地利的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 148-148	發達國家是奧地利的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 576-576	轉型國家是阿塞拜疆的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 622-622	發展中國家是巴林的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 238-238	較未發達國家是巴林的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 623-623	發展中國家是孟加拉國的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 239-239	較未發達國家是孟加拉國的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 624-624	發展中國家是巴巴多斯的 economy 類別

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: