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 The number 1 argument of profit is an instance of financial transaction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7603-7603 The number 2 argument of profit is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7600-7600 profit is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7601-7601 profit is an instance of binary predicate

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