TreeView Knowledge Base Browser - ParkingLot

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ParkingLot

ParkingLot(停車場)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 78-79
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 77-77	子類停車場 and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44456-44456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44455-44455
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 80-80
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44454-44454

antecedent

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 106-125	擁有 CognitiveAgent and Object 例 CognitiveAgent and 商業代理人例 Object and 停車場例 Object and Building 位於 CognitiveAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 持有期間 TimePosition and 位於 AutonomousAgent and Object 例 Process and Driving 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Object 持有期間 TimePosition and 賦予權利例 entity and Keeping 目的地 entity and Object 患者 entity and Entity, CognitiveAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 82-92	例 Object and 停車場 Collection Integer 位於 Collection and Object Physical 會員 Physical and Collection 例 Physical and ParkingRegion Integer 是 Collection 的 member 計數比較多 Integer and 1

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5147-5155	例 Object and StripMall 例 Object and 零售店部分 Object and Object Object 例 Object and 停車場方位 Object, Object and 鄰
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 97-102	例 Object and 停車庫 Physical 例 Physical and 停車場位於 Physical 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