TreeView Knowledge Base Browser - RetailStore

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RetailStore

RetailStore(零售店)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7765-7765	不相交的零售店 and 批發商店
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7767-7778
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7764-7764	子類零售店 and 商業組織

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5190-5190	例 Walmart and 零售店
No TPTP formula. May not be expressible in strict first order.	Media.kif 1678-1678	子類 BookStore and 零售店
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7800-7800	子類藥店 and 零售店
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7813-7813	子類雜貨店 and 零售店
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49814-49814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49813-49813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49812-49812

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5132-5145	例 Object and StripMall 例 Object and 零售店部分 Object and Object 例 Object and 零售店部分 Object and Object 等於 Object and Object Object 例 Object and 門廳連接 Object, Object and Object
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.	Mid-level-ontology.kif 7780-7788	例 Object and 零售店能力 Selling, agent and Object Entity Process 例 Process and Selling 目的地 Process and Entity 例 Entity and Human

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7794-7798	例 Collection and 購物中心會員 Physical and Collection 例 Physical and 零售店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7752-7765	例 Collection and Organization attribute Collection and 雜貨店零售商 Process Physical, Entity, Object and AutonomousAgent 會員 Physical and Collection agent Process and AutonomousAgent 例 Process and Selling 例 AutonomousAgent and Human 例 Object and 零售店 Process 是 located 在 Object 例 Entity and Object 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7877-7893	例 Collection and Organization attribute Collection and 非商店零售商 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Entity 例 AutonomousAgent and Selling 例 Entity and Human 例 Entity and Object AutonomousAgent 是 located 在零售店目的地 AutonomousAgent and Entity 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7805-7815	attribute Object and 禮品新奇和紀念品商店例 Object and 零售店有目的 Object and entity entity 例 entity and Selling agent entity and Object 患者 entity and entity 例 entity 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