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 7421-7424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7419-7419 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 7420-7420 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 7417-7417 customer is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7416-7416 customer is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7415-7415 customer is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7418-7418 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 166-166
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 3449-3449 "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 7426-7432 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 17900-17921
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 6771-6775
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 7458-7462
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 3256-3268
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


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