TreeView Knowledge Base Browser - Airport

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Airport

Airport(飛機場)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1268-1269
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1627-1627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2081-2081
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1022-1022
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1266-1266	子類飛機場 and 空中運輸通道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1267-1267	子類飛機場 and 陸地過境通道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1265-1265	子類飛機場 and 中轉站

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6222-6222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6221-6221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6220-6220

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1357-1364	例 Object and 飛機場 attribute Object and 機場有著鋪設跑道 Object 例 Object and 鋪好的跑道部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1371-1378	例 Object and 飛機場 attribute Object and 機場有著未鋪砌的跑道 Object 例 Object and 未鋪砌的跑道部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	例 Object and 飛機場 attribute Object and 長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 2438 小於或等於 RealNumber and 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	例 Object and 飛機場 attribute Object and 中長跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 1524 小於或等於 RealNumber and 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	例 Object and 飛機場 attribute Object and 短跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表大於或等於 RealNumber and 914 小於或等於 RealNumber and 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	例 Object and 飛機場 attribute Object and 很長的跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表比較多 RealNumber and 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	例 Object and 飛機場 attribute Object and 很短的跑道機場 Object RealNumber 例 Object and 跑道部分 Object and Object length Object and 測量 RealNumber and 儀表少於 RealNumber and 914
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2624-2626	例 Object and 飛機場飛機是對於交通類別 Object 的 trafficable

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	GeographicArea 是對於 NonnegativeInteger 在地區延期機場有著鋪設跑道的 total 設施類別 SymbolicString entity NonnegativeInteger 是卡帕 SymbolicString and 例 SymbolicString and 飛機場例 entity and 鋪好的跑道部分 entity and SymbolicString 位於 SymbolicString and GeographicArea 的 cardinality
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1482-1491	GeographicArea 是對於 NonnegativeInteger 在地區延期機場有著未鋪砌的跑道的 total 設施類別比較多 NonnegativeInteger and 0 Object Object 例 Object and 飛機場例 Object and 未鋪砌的跑道部分 Object and Object 位於 Object and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2071-2080	例 Process and AirportShuttleService Object Process 例 Object and 飛機場子過程 Process and Process 例 Process and Transportation 目的地 Process and Object 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1289-1296	GeographicArea 是對於 NonnegativeInteger 在地區延期機場有著鋪設跑道的 total 設施類別 Object Object 例 Object and 飛機場例 Object and 鋪好的跑道部分 Object and Object 位於 Object and GeographicArea

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