customer - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - customer

customer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8495-8498
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8493-8493	域顧客, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8494-8494	域顧客, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8486-8486	例顧客 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8485-8485	例顧客 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8484-8484	例顧客 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8487-8487	例顧客 and PartialValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 628-628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 627-627
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 626-626
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 55-55	子關係 guest and 顧客
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18183-18183	子關係 guest and 顧客
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18182-18182	子關係 guest and 顧客
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18181-18181	子關係 guest and 顧客

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8500-8506	AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21690-21712	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	能力 ValetParking, agent and Organization Organization 是 CognitiveAgent 的 customer 位於 Organization and Object 例 Process and 到達 agent Process and CognitiveAgent 患者 Process and Entity 目的地 Process and Object Human 佔據位置 Human, Valet and Organization 模態屬性 entity entity 例 entity and ValetParking agent entity and Human 患者 entity and Entity 目的地 entity and entity 例 entity and ParkingRegion and 可能性
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 對 CurrencyMeasure 收費在 corkage 為了 Object 例 Object and Object Process 例 Process and Buying 患者 Process and Object 目的地 Process and CognitiveAgent 起源 Process and AutonomousAgent 例 Process and Drinking agent Process and CognitiveAgent 資源 Process and Object Process 例 Process and Corkage agent Process and CognitiveAgent 參照 Process and Object 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	AutonomousAgent 是 CognitiveAgent 的 customer 採用 AutonomousAgent and CognitiveAgent attribute AutonomousAgent and 旅客住宿 attribute CognitiveAgent and Porter 擁有 CognitiveAgent and Object 例 Object and 旅行集裝箱 Object Process 例 Object and HotelUnit 例 Process and 攜帶 agent Process and CognitiveAgent 目的地 Process and Object 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Process 模態屬性 entity entity and entity 元件 entity and 屬性 AutonomousAgent agent entity and AutonomousAgent 患者 entity and CognitiveAgent 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	AutonomousAgent provides Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Entity and Object 慾望 CognitiveAgent and entity 例 entity and IntentionalProcess 患者 entity and Entity agent entity and CognitiveAgent 模態屬性賦予權利使用 Entity and CognitiveAgent, AutonomousAgent and CognitiveAgent and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	Physical 的使用是對於 AutonomousAgent 免費例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent Process 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7880-7884	例 AutonomousAgent and 機構 AutonomousAgent 是 CognitiveAgent 的 customer 例 CognitiveAgent and 商業代理人
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	例 AutonomousAgent and AutonomousAgent CognitiveAgent 是個 potential customer 對於 AutonomousAgent 模態屬性例 entity and Reserving 目的地 entity and AutonomousAgent and 必要性條件概率 entityES1 例 entityES1 and Reservation CognitiveAgent reserves entityES1 AutonomousAgent fulfills entityES1 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 條件概率 entityES2 例 entityES2 and Reservation CognitiveAgent reserves entityES2 AutonomousAgent fulfills entityES2 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7932-7945	例 CognitiveAgent and HealthInsuranceCompany AutonomousAgent 是 CognitiveAgent 的 customer 有代理人的目的 CognitiveAgent, entity entity 例 entity and DiagnosticProcess 例 entity and TherapeuticProcess 體驗者 entity and AutonomousAgent 例 entity and 付款 agent entity and CognitiveAgent 參照 entity and entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	例 AutonomousAgent and 餐廳例 Object and 飯廳 attribute Object and PrivateAttribute 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Eating agent Process and CognitiveAgent 例 CognitiveAgent and 一群人模態屬性 entity entity AutonomousAgent 是 entity 的 customer 等於 CognitiveAgent and entity 例 entity and Eating agent entity and entity 持有期間何時 Process and entity 是 located 在 Object and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8531-8535	例 AutonomousAgent and 批發商店 AutonomousAgent 是 CognitiveAgent 的 customer 例 CognitiveAgent and 商業代理人
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	HotelFunctionRoom 的承租人能 pay 去使用 Physical 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent RealNumber UnitOfMeasure Object 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	AutonomousAgent 的承租人能 pay 去使用 Physical 例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent RealNumber UnitOfMeasure Process 是對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
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.	FinancialOntology.kif 3635-3639	CognitiveAgent 持有 account 金融賬戶金融賬戶是被金融機構 held 金融機構是 CognitiveAgent 的 customer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2535-2553	例 Policy and ChildrenPolicy Organization enacts policy Policy Policy covers Object 包含信息 Policy and 模態屬性 entity Organization 是 entity 的 customer 例 entity and 人類的孩子 and 可能性包含信息 Policy and 模態屬性 entity Organization 是 entity 的 customer 例 entity and 人類的孩子 and 可能性
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	例 AutonomousAgent and 餐廳例 Object and 飯廳 attribute Object and PrivateAttribute 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Eating agent Process and CognitiveAgent 例 CognitiveAgent and 一群人模態屬性 entity entity AutonomousAgent 是 entity 的 customer 等於 CognitiveAgent and entity 例 entity and Eating agent entity and entity 持有期間何時 Process and entity 是 located 在 Object and 容易
No TPTP formula. May not be expressible in strict first order.	naics.kif 9711-9720	attribute Object and 乘用車租賃有目的 Object and entity entity and entity Object 是 entity 的 customer 例 entity and 汽車例 entity and 租擁有 Object and entity agent entity and entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	AutonomousAgent 要求顧客去穿 AmbienceAttribute 模態屬性 entity entity 例 entity and Outfit AutonomousAgent believes entity 是 AmbienceAttribute 持有期間 entity and entity entity AutonomousAgent 是 entity 的 customer entity 對於 AutonomousAgent 在時間 entity located 會員 entity and entity 穿 entity and entity and 義務
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2662-2671	例 Physical and 遊輪有目的 Physical and entity entity and entity 例 entity and RecreationOrExercise 擁有 entity and Physical agent entity and entity entity 是 entity 的 customer entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2154-2166	例服務 and CheckInService CognitiveAgent CognitiveAgent, Process and Process CognitiveAgent 是 CognitiveAgent 的 customer 服務提供者服務 and CognitiveAgent 例 Process and 歡迎 agent Process and CognitiveAgent 目的地 Process and CognitiveAgent 子過程 Process and 服務例 Process and Process agent Process and CognitiveAgent 原因服務 and Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	例 Process and RoomService AutonomousAgent Entity, CognitiveAgent, Process, Entity, Process and Object AutonomousAgent 是 CognitiveAgent 的 customer agent Process and AutonomousAgent 例 Process and Requesting agent Process and CognitiveAgent 患者 Process and Entity 代表 Entity and Entity 例 Entity and 已準備食物位於 CognitiveAgent and Object 例 Object and HotelUnit 例 Process and DeliveryService 患者 Process and Entity 目的地 Process and Object 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4477-4489	例 Process and TransportationService Object AutonomousAgent, Process and CognitiveAgent agent Process and AutonomousAgent 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and 車輛例 Process and Transportation agent Process and AutonomousAgent 患者 Process and CognitiveAgent 儀器 Process and Object 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	例 Process and ValetLaundryService Human AutonomousAgent, 暫住, Entity, Process, Process and Process AutonomousAgent 是 Human 的 customer Human stays 在暫住 agent Process and AutonomousAgent 例 Entity and Clothing 例 Process and Getting 位於 Process and 暫住患者 Process and Entity agent Process and AutonomousAgent 例 Process and LaundryService 例 Process and DryCleaningService agent Process and AutonomousAgent 患者 Process and Entity 例 Process and DeliveryService 患者 Process and Entity 目的地 Process and 暫住之前開始何時 Process and 開始何時 Process 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 819-822	CognitiveAgent 是個 potential customer 對於 AutonomousAgent 模態屬性 AutonomousAgent 是 CognitiveAgent 的 customer and 可能性
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	standard retail hours 對於 AutonomousAgent 是 TimeInterval Process Entity, Entity, RealNumber and RealNumber 例 Process and FinancialTransaction agent Process and AutonomousAgent 例 Entity and TimeInterval 目的地 Process and Entity 等於 RealNumber and 可能性期間何時 Process and Entity AutonomousAgent 是 Entity 的 customer 等於 RealNumber and 可能性期間何時 Process and Entity AutonomousAgent 是 Entity 的 customer 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Dining.kif 373-382	standard retail hours 對於 AutonomousAgent 是 TimeInterval Process TimeInterval and CognitiveAgent 例 Process and Selling 例 TimeInterval and TimeInterval agent Process and AutonomousAgent AutonomousAgent 是 CognitiveAgent 的 customer 期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3945-3947	thirdPartyProduct Artifact, Organization and AutonomousAgent AutonomousAgent 是 Organization 的 customer

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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