TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3350-3351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14268-14271
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 193-193
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 853-853
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14266	子類 City and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14267-14267	子類 City and LandArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1392-1392	例阿達納土耳其 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1394-1394	例亞的斯亞貝巴埃塞俄比亞 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1396-1396	例腺也門 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1398-1398	例阿多拉西岸 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1400-1400	例阿富拉以色列 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1402-1402	例阿格里土耳其 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1404-1404	例 ain defla 阿爾及利亞 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1406-1406	例 ain el hajar 阿爾及利亞 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1408-1408	例 ajaccio 法國 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1410-1410	例 al balamand 黎巴嫩 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1412-1412	例 alei sinai 加沙地帶 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1414-1414	例 alei zahav 西方銀行 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1416-1416	例阿萊黎巴嫩 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1418-1418	例阿爾及爾，阿爾及利亞 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1420-1420	例烷烴蒙古包俄羅斯 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1422-1422	例 alon and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1424-1424	例安汶印度尼西亞 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1426-1426	例安曼，約旦 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1428-1428	例一個 nuwaydirat 巴林 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1430-1430	例安第斯西班牙 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1432-1432	例吳哥窟柬埔寨 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1434-1434	例安卡拉土耳其 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1436-1436	例安塔利亞土耳其 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1438-1438	例 antioquia 哥倫比亞 and City
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1440-1440	例安特衛普比利時 and City

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6708-6708	域街道地址, 3 and City
No TPTP formula. May not be expressible in strict first order.	Government.kif 375-375	域首都, 1 and City
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24756-24756	域 postCity, 2 and City

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24762-24767	位於 PostalPlace and City 例 PostalPlace and PostalPlace 例 City and City PostalPlace 是在 City
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8332-8334	例 GeopoliticalArea and City 例政府 GeopoliticalArea and 市政府
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26582-26590	attribute Object and Historical 例 Object and City Object 例 Object and Physical attribute Object and Historical Object 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Government.kif 4675-4680	% AutonomousAgent %3 例 GeopoliticalArea and City 等於 Government and 政府 GeopoliticalArea AutonomousAgent 是對於 %3 的 diplomatic 類別
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	例 GeopoliticalArea and City 部分 GeopoliticalArea and 法國小於或等於基數 GeopoliticalArea 的 resident and 基數巴黎的 resident
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24682-24687	PostalPlace 是在 Neighborhood Neighborhood 是 City 的 geographic 次要地區例 City and City PostalPlace 是在 City
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24796-24801	PostalPlace 是在 post code PostcodeArea PostcodeArea 是 City 的 geographic 次要地區例 City and City PostalPlace 是在 City

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8079-8084	例 GeopoliticalArea and 市區 GeopoliticalArea 例 GeopoliticalArea and City 地緣政治細分 GeopoliticalArea and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1640-1642	GeopoliticalArea 是對於 %3 的政府領導例 GeopoliticalArea and City
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8220-8225	例 Object and 城市街區 Object 例 Object and City 部分 Object and Object

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: