customer
|
|
Sigma KEE - customer
appearance as argument number 1
|
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7722-7725 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7720-7720 |
The number 1 argument of customer is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7721-7721 |
The number 2 argument of customer is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7713-7713 |
customer is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7712-7712 |
customer is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7711-7711 |
customer is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7714-7714 |
customer is an instance of partial valued relation |
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 628-628 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 627-627 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 626-626 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 55-55 |
guest is a subrelation of customer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18168-18168 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18167-18167 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18166-18166 |
|
antecedent
|
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7727-7733 |
An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 336-350 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 546-561 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7107-7111 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 586-602 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7159-7172 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7758-7762 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 569-589 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 102-121 |
|
consequent
|
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3621-3625 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9711-9720 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 492-505 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2471-2480 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2154-2166 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1969-1987 |
- If a process is an instance of room service,
- then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that the agent is a customer of the cognitive agent and the agent is an agent of the process and the other process is an instance of requesting and the cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3340-3352 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1827-1848 |
- If a process is an instance of valet laundry,
- then there exist a human, an agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the agent is a customer of the human and the human stays at the temporary residence and the agent is an agent of the process and the entity is an instance of clothing and the third process is an instance of getting and the third process is located at the temporary residence and the entity is a patient of the third process and the agent is an agent of the third process and the other process is an instance of laundry service or the other process is an instance of dry-clean and the agent is an agent of the other process and the entity is a patient of the other process and the fourth process is an instance of delivery service and the entity is a patient of the fourth process and the fourth process ends up at the temporary residence and the beginning of the time of existence of the third process happens before the beginning of the time of existence of the other process and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the fourth process
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 819-822 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 388-407 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 373-382 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3945-3947 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|