Reserving - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Reserving

Reserving

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 757-759
No TPTP formula. May not be expressible in strict first order.	Dining.kif 756-756	子類 Reserving and Committing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Dining.kif 760-760

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 762-767	例 Process and Reserving agent Process and CognitiveAgent 目的地 Process and AutonomousAgent CognitiveAgent 是個 potential customer 對於 AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 689-695	AutonomousAgent fulfills Reservation Process 例 Process and Reserving 目的地 Process and AutonomousAgent 結果 Process and Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 645-650	例 Entity and Reservation Process 例 Process and Reserving 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 674-680	Object 是 used 在創造 Reservation Process 例 Process and Reserving 儀器 Process and Object 結果 Process and Reservation
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