TreeView Knowledge Base Browser - CommercialService

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CommercialService

Sigma KEE - CommercialService

CommercialService(商業服務)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3103-3104
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11919-11920
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11918-11918	子類商業服務 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11921-11921	子類商業服務 and 服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7728-7728	子類商業運輸 and 商業服務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7215-7215	子類金融服務 and 商業服務
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15870-15870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15869-15869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15868-15868

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	例 Process and 商業服務 agent Process and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent 目的地 Process and Entity 有目的 Process and entity 例 entity and FinancialTransaction 目的地 entity and AutonomousAgent 起源 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11923-11928	例 Process and 商業服務 AutonomousAgent 例 AutonomousAgent and 商業代理人 agent Process and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3959-3966	例 Process and FinancialTransaction 目的地 Process and AutonomousAgent 例 Process and 商業服務 agent Process and AutonomousAgent attribute Process and 開放服務
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	attribute Object and 生產平均值有目的 Object and entity entity 例 entity and Making Object 是事件 entity 的 involved 結果 entity and Object 例 entity and Artifact 結果 entity and entity 有目的 entity and entity 例 entity and Selling 患者 entity and entity entity 例 entity and 商業服務 Object 是事件 entity 的 involved
No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	例 AutonomousAgent and Bakery Process Entity and Process 例 Process and 烘烤結果 Process and Entity 例 Entity and food for Human agent Process and AutonomousAgent 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7145-7151	例 AutonomousAgent and 娛樂公司 Process 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and 性能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7284-7290	例 AutonomousAgent and 出版者 Process 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Publication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7308-7318	例 AutonomousAgent and 餐廳 Process Entity and Object 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 例 Object and 餐廳建築 Process 是 located 在 Object 患者 Process and Entity 例 Entity and food for Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7206-7212	例 AutonomousAgent and 運輸公司 Process 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Transportation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 36-44	例 AutonomousAgent and Coffeeshop Process Entity 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 患者 Process and Entity 例 Entity and 咖啡
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3404-3412	例 AutonomousAgent and 鐵路公司 Process Object 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Transportation 儀器 Process and Object 例 Object and 火車
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7710-7718	例 AutonomousAgent and 酒館 Process Entity 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 患者 Process and Entity 例 Entity and 酒精飲料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16272-16279	例 Physical and 生產廠家有目的 Physical and entity 例 entity and Manufacture 例 entity and 商業服務 agent entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16285-16292	例 Physical and 商業組織有目的 Physical and entity 例 entity and Selling 例 entity and 商業服務 agent entity and Physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 51-62	例 AutonomousAgent and Brewpub Process Entity and Process 例 Process and Making 結果 Process and Entity 例 Entity and 啤酒 agent Process and AutonomousAgent 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 88-99	例 AutonomousAgent and Steakhouse Process Entity, Object and Process 例 Process and Cooking 例 Object and 牛肉資源 Process and Object 結果 Process and Entity 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 患者 Process and Entity

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