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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubstringFn

Sigma KEE - SubstringFn
SubstringFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23773-23785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23769-23769 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 23770-23770 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 23771-23771 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 23767-23767 SubstringFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23768-23768 SubstringFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23766-23766 SubstringFn is an instance of ternary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23772-23772 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 4715-4715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4714-4714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4713-4713

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2877-2883
No TPTP formula. May not be expressible in strict first order. Media.kif 3056-3077
No TPTP formula. May not be expressible in strict first order. Media.kif 3307-3314
No TPTP formula. May not be expressible in strict first order. Media.kif 3334-3341

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3056-3077


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