inString - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - inString

inString

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24373-24375
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24371-24371	The number 1 argument of in string is an instance of character
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24372-24372	The number 2 argument of in string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24370-24370	in string is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24376-24376	in string is a subrelation of part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3710-3710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3709-3709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3708-3708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65856-65856

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3041-3045	If a symbolic string is an acronym for an entity and a character is part of the symbolic string, then the character is an instance of alphabetic character
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24407-24411	If a symbolic string is a sub-string of another symbolic string and a character is part of the symbolic string, then the character is part of the other symbolic string

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24378-24383	If a symbolic string is an instance of symbolic string and a character is a part of the symbolic string and the character is an instance of character, then the character is part of the symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24407-24411	If a symbolic string is a sub-string of another symbolic string and a character is part of the symbolic string, then the character is part of the other symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 2941-2948	If a symbolic string is an instance of alpha numeric string, then there exist a character and another character such that the character is an instance of alphabetic character and the character is part of the symbolic string and the other character is an instance of digit character and the other character is part of the symbolic string

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