TreeView Knowledge Base Browser - fulfillingEntity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

fulfillingEntity

Sigma KEE - fulfillingEntity

fulfillingEntity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 683-685
No TPTP formula. May not be expressible in strict first order.	Dining.kif 686-686	域 fulfillingEntity, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 687-687	域 fulfillingEntity, 2 and Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 682-682	例 fulfillingEntity and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3502-3502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3501-3501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3500-3500
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65834-65834

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2847-2851	AutonomousAgent fulfills Reservation 例 Reservation and HotelReservation attribute AutonomousAgent 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.	Hotel.kif 2883-2892	HotelReservation 也許 have Integer 成人 AutonomousAgent fulfills HotelReservation Collection 例 Collection and 一群人人類成人是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	HotelReservation 也許 have Integer 孩童 AutonomousAgent fulfills HotelReservation Collection Collection 例 Collection and 一群人子集合 Collection and Collection 例 Collection and 一群人人類的孩子是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	HotelReservation 也許 have Integer 居住者 AutonomousAgent fulfills HotelReservation Collection 例 Collection and 一群人 Human 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
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.	Hotel.kif 2925-2940	HotelReservation 是對於 Integer seniors AutonomousAgent fulfills HotelReservation Collection RealNumber 例 Collection and 一群人 Physical 會員 Physical and Collection 例 Physical and 人類成人年齡 Physical and 測量 RealNumber and 年持續時間大於或等於 RealNumber and 60 Integer 是 Collection 的 member 計數 Collection 是個 potential customer 對於 AutonomousAgent
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.	Dining.kif 689-695	AutonomousAgent fulfills Reservation Process 例 Process and Reserving 目的地 Process and AutonomousAgent 結果 Process and Reservation

consequent

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

Dining.kif 749-754

例 Reservation and DiningReservation
AutonomousAgent AutonomousAgent fulfills Reservation 例 AutonomousAgent and 餐廳

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