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

Formal Language: 



KB Term:  Term intersection
English Word: 

  profit

Sigma KEE - profit
profit

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7604-7605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7602-7602 O argumento numero 1 de profit e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7603-7603 O argumento numero 2 de profit e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7600-7600 profit e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7601-7601 profit e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4246-4246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4245-4245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4244-4244
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47624-47624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47623-47623
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47622-47622

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1192-1207

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 501-505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7612-7617


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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