Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - customer
customer

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7426-7429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7424-7424 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 7425-7425 The number 2 argument of customer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7422-7422 customer is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7421-7421 customer is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7420-7420 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7423-7423 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 18097-18097 "顾客" is the printable form of customer in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18096-18096 "顧客" is the printable form of customer in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18095-18095 "customer" is the printable form of customer in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7431-7437 A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18260-18281
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2333-2348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 518-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6776-6780
No TPTP formula. May not be expressible in strict first order. Dining.kif 729-752
No TPTP formula. May not be expressible in strict first order. Dining.kif 544-560
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7463-7467
No TPTP formula. May not be expressible in strict first order. Hotel.kif 840-863
No TPTP formula. May not be expressible in strict first order. Hotel.kif 541-558
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-119

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3513-3517
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2476-2494
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. naics.kif 9636-9645
No TPTP formula. May not be expressible in strict first order. Dining.kif 466-477
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2095-2107
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1913-1931
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3284-3296
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1771-1792
No TPTP formula. May not be expressible in strict first order. Dining.kif 776-779
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3690-3692


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners