Renting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Renting

Renting(租)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23537-23538
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23536-23536	子類租 and Borrowing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23535-23535	子類租 and FinancialTransaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49523-49523
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49522-49522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49521-49521

antecedent

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 811-832	Physical 的使用對於 HotelFunctionRoom 是免費例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Entity 子類 Physical and Object 模態屬性 entity entity 例 entity and Physical 例 entity and Process 資源 entity and entity 儀器 entity and entity 患者 entity and entity agent entity and Entity 體驗者 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23540-23547	例 Process and 租 agent Process and AutonomousAgent 患者 Process and Entity 持有期間何時 Process and 模態屬性使用 Entity and AutonomousAgent 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.	Catalog.kif 467-492	Physical 由 CognitiveAgent 定的 price 根據 PricingScheme 是 FunctionQuantity 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 CurrencyMeasure 的 per 例 UnitOfMeasure and UnitOfDuration 立即實例 Entity and Physical 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 時間 Process and RealNumberINT TimeInterval RealNumber 期間 RealNumberINT and TimeInterval 例 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and CognitiveAgent agent FinancialTransaction and AutonomousAgent CurrencyMeasure 是 FinancialTransaction 的 transaction 總額

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1696-1704	例 Physical and HotelFunctionRoom 元件 Physical and 屬性 AutonomousAgent 有目的 Physical and entity 例 entity and 租患者 entity and Physical
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.	Catalog.kif 513-526	協議對於 FunctionQuantity 指定 Physical 的 rental CognitiveAgent CognitiveAgent 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議模態屬性 entity entity 例 entity and 租例 entity and Physical 患者 entity and entity agent entity and CognitiveAgent 目的地 entity and CognitiveAgent and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7664-7672	永久居留權是 AutonomousAgent 的 landlord Process AutonomousAgent 擁有 AutonomousAgent and 永久居留權永久居留權是 AutonomousAgent 的 tenant agent Process and AutonomousAgent 例 Process and 租患者 Process and 永久居留權
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31089-31097	AutonomousAgent rents Object 給 AutonomousAgent 在其間 TimeInterval 持有期間 TimeInterval and entity 例 entity and 租患者 entity and Object agent entity and AutonomousAgent 擁有 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7680-7688	永久居留權是 AutonomousAgent 的 tenant AutonomousAgent Process 例 Process and 租永久居留權是 AutonomousAgent 的 landlord agent Process and AutonomousAgent 擁有 AutonomousAgent and 永久居留權患者 Process and 永久居留權

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