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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubstringFn
SubstringFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21779-21791
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21775-21775 The number 1 argument of SubstringFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21776-21776 The number 2 argument of SubstringFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21777-21777 The number 3 argument of SubstringFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21773-21773 SubstringFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21774-21774 SubstringFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21772-21772 SubstringFn is an instance of ternary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21778-21778 The range of SubstringFn is an instance of symbolic string

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1187-1187

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2859-2865
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21793-21800
No TPTP formula. May not be expressible in strict first order. Media.kif 3234-3241
No TPTP formula. May not be expressible in strict first order. Media.kif 3261-3268


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners