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

Formal Language: 



KB Term:  Term intersection
English Word: 

  precedesInString

 Sigma KEE - precedesInString
precedesInString

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24561-24568
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24558-24558 The number 1 argument of precedes in string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24559-24559 The number 2 argument of precedes in string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24560-24560 The number 3 argument of precedes in string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24557-24557 precedes in string is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4198-4198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4197-4197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4196-4196
No TPTP formula. May not be expressible in strict first order. Media.kif 3378-3378 name before key name is a subrelation of precedes in string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24569-24569 string concatenation is a subrelation of precedes in string
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65915-65915

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3368-3372
No TPTP formula. May not be expressible in strict first order. Media.kif 3395-3399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24577-24581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24571-24575

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24577-24581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25017-25021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25029-25033
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25035-25039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25005-25009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25011-25015
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25023-25027
No TPTP formula. May not be expressible in strict first order. Media.kif 3364-3366


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