reservingEntity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - reservingEntity

reservingEntity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 653-655
No TPTP formula. May not be expressible in strict first order.	Dining.kif 656-656	域 reservingEntity, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 657-657	域 reservingEntity, 2 and Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 652-652	例 reservingEntity and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4422-4422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4421-4421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4420-4420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65978-65978

antecedent

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 732-742	Reservation 是對於 PositiveInteger customers AutonomousAgent fulfills Reservation AutonomousAgent reserves Reservation Collection Collection 是個 potential customer 對於 AutonomousAgent 例 Collection and 一群人會員 AutonomousAgent and Collection PositiveInteger 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	Reservation starts 在 TimePoint Reservation ends 在 TimePoint AutonomousAgent reserves Reservation AutonomousAgent fulfills Reservation 模態屬性持有期間時間間隔 TimePoint and TimePoint and entity 例 entity and IntentionalProcess agent entity and AutonomousAgent 目的地 entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2973-2981	Reservation 是對於 Proposition 的 reservation Reservation reserves Reservation 模態屬性 entity 實現 entity and Proposition 體驗者 entity and Reservation and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2951-2963	HotelReservation 是對於 HotelUnit 的 reservation Reservation starts 在 HotelReservation Reservation ends 在 HotelReservation HotelReservation reserves Reservation 模態屬性持有期間時間間隔 Reservation and Reservation and entity 例 entity and HotelUnit Reservation stays 在 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Dining.kif 659-665	AutonomousAgent reserves Reservation Process 例 Process and Reserving agent Process and AutonomousAgent 結果 Process and Reservation

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