TreeView Knowledge Base Browser - CommercialAgent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CommercialAgent

Sigma KEE - CommercialAgent

CommercialAgent(商業代理人)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3658-3659
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16245-16247
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10686-10686
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9951-9951
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10689-10689
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10688-10688
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16244-16244	子類商業代理人 and AutonomousAgent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7635-7635	不相交的非盈利機構 and 商業代理人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16250-16250	子類 Business and 商業代理人
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15768-15768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15767-15767
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15766-15766

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7134-7138	例 AutonomousAgent and 機構 AutonomousAgent 是 CognitiveAgent 的 customer 例 CognitiveAgent and 商業代理人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7785-7789	例 AutonomousAgent and 批發商店 AutonomousAgent 是 CognitiveAgent 的 customer 例 CognitiveAgent and 商業代理人
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11923-11928	例 Process and 商業服務 AutonomousAgent 例 AutonomousAgent and 商業代理人 agent Process and AutonomousAgent

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