TreeView Knowledge Base Browser - potentialCustomer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

potentialCustomer

Sigma KEE - potentialCustomer

potentialCustomer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 804-806
No TPTP formula. May not be expressible in strict first order.	Dining.kif 807-807	potentialCustomer 的 1 数量是有认知的主事的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 808-808	potentialCustomer 的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 803-803	potentialCustomer 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4186-4186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4185-4185
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4184-4184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65912-65912

antecedent

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.	Dining.kif 810-817	如果有认知的主事是个 potential customer 对于施事体，然后有存在实体和过程这样那个过程是出售的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient 和那个有认知的主事对那个实体感兴趣
No TPTP formula. May not be expressible in strict first order.	Dining.kif 819-822	如果有认知的主事是个 potential customer 对于施事体，然后那个施事体是那个有认知的主事的 customer 的声明 has 可能性的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 762-767	如果过程是 Reserving 的 instance 和有认知的主事是那个过程的 agent 和那个过程在施事体结束，然后那个有认知的主事是个 potential customer 对于那个施事体
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 对于那个施事体

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