fulfillingEntity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 687-687	fulfillingEntity 的 2 数量是 Reservation 的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 682-682	fulfillingEntity 是二元谓语的 instance

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	如果施事体 fulfills Reservation 和那个 Reservation 是 HotelReservation 的 instance，然后旅客住宿是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	如果施事体是施事体的 instance 和有认知的主事是个 potential customer 对于那个施事体和实体是 Reserving 的 instance 和那个实体在那个施事体结束的声明 has 必要性的语气和如果那个施事体是那个有认知的主事的 customer 是正确，那有存在那个实体ES1 这样那个实体ES1 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES1 和那个施事体 fulfills 那个实体ES1 的机率就是实数和如果那个施事体是那个有认知的主事的 customer 是正确，那不存在那个实体ES2 这样那个实体ES2 是 Reservation 的 instance 和那个有认知的主事 reserves 那个实体ES2 和那个施事体 fulfills 那个实体ES2 的机率就是另一个实数，然后那个另外实数是 lessThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	如果 HotelReservation 也许 have 整数成人和施事体 fulfills 那个 HotelReservation ，然后有存在群体这样那个群体是一群人的 instance 和人类成人是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	如果 HotelReservation 也许 have 整数孩童和施事体 fulfills 那个 HotelReservation ，然后有存在群体和另一个群体这样那个群体是一群人的 instance 和那个另外群体是那个群体的真正的子集和那个另外群体是一群人的 instance 和人类的孩子是那个另外群体的 member 类别和那个整数是那个另外群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	如果 HotelReservation 也许 have 整数居住者和施事体 fulfills 那个 HotelReservation ，然后有存在群体这样那个群体是一群人的 instance 和人类是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	如果 Reservation 是对于正整数 customers 和施事体 fulfills 那个 Reservation 和另一个施事体 reserves 那个 Reservation ，然后有存在群体这样那个群体是个 potential customer 对于那个施事体和那个群体是一群人的 instance 和那个另外施事体是那个群体的 member 和那个正整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	如果 HotelReservation 是对于整数 seniors 和施事体 fulfills 那个 HotelReservation ，然后有存在群体和实数这样那个群体是一群人的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是人类成人的 instance 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThanOrEqualTo 60 和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	如果 Reservation starts 在时点和那个 Reservation ends 在另一个时点和施事体 reserves 那个 Reservation 和另一个施事体 fulfills 那个 Reservation ，然后有存在实体这样那个实体是有意图过程的 instance 和那个另外施事体是那个实体的 agent 和那个实体在那个施事体结束在那个时点和那个另外时点间的时段 holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Dining.kif 689-695	如果施事体 fulfills Reservation ，然后有存在过程这样那个过程是 Reserving 的 instance 和那个过程在那个施事体结束和那个 Reservation 是那个过程的 result

consequent

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

Dining.kif 749-754

如果 Reservation 是 DiningReservation 的 instance，
然后有存在施事体这样那个施事体 fulfills 那个 Reservation 和那个施事体是餐厅的 instance

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