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 24504-24511
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24501-24501 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 24502-24502 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 24503-24503 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 24500-24500 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 3396-3396 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 24512-24512 string concatenation is a subrelation of precedes in string
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65913-65913

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3386-3390
No TPTP formula. May not be expressible in strict first order. Media.kif 3413-3417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24520-24524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24514-24518

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24520-24524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24960-24964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24972-24976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24978-24982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24948-24952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24954-24958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24966-24970
No TPTP formula. May not be expressible in strict first order. Media.kif 3382-3384


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