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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Broker
Broker

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2055-2056
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2054-2054 Broker est une instance de position

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12071-12071
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12070-12070
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12069-12069

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-1990
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2058-2063

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1513-1517
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1573-1577
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1691-1693


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