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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 O argumento numero 1 de potentialCustomer e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. Dining.kif 808-808 O argumento numero 2 de potentialCustomer e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Dining.kif 803-803 potentialCustomer e' uma instancia de Predicado Binario

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 65914-65914

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


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 810-817
No TPTP formula. May not be expressible in strict first order. Dining.kif 819-822

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 762-767
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2883-2892
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2903-2914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2864-2873
No TPTP formula. May not be expressible in strict first order. Dining.kif 732-742
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2925-2940


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