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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - splitFor
splitFor

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2175-2175 The number 1 argument of split for is an instance of stock split
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2176-2176 The number 2 argument of split for is an instance of integer
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2177-2177 The number 3 argument of split for is an instance of integer
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2174-2174 split for is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2331-2331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2330-2330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2329-2329
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54644-54644
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54643-54643
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54642-54642

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2179-2189
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2191-2203


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