TreeView Knowledge Base Browser - subString

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subString

subString

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24448-24454
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24446-24446	The number 1 argument of sub string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24447-24447	The number 2 argument of sub string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24442-24442	sub string is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24444-24444	sub string is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24443-24443	sub string is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24445-24445	sub string is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24455-24455	sub string is a subrelation of part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4702-4702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4701-4701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4700-4700
No TPTP formula. May not be expressible in strict first order.	Media.kif 3263-3263	key name is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24981-24981	telecom area code is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24992-24992	telecom code2 is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24948-24948	telecom core number is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24966-24966	telecom country code is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65948-65948

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3434-3439	If a human is called a symbolic string and another symbolic string is a family name of the human and the other symbolic string is a sub-string of the symbolic string, then the other symbolic string is a key in the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3443-3448	If a human is called a symbolic string and another symbolic string is a given name of the human and the other symbolic string is a sub-string of the symbolic string, then not the other symbolic string is a key in the symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24457-24462	If a symbolic string is a sub-string of another symbolic string and a nonnegative integer is equal to the length of the symbolic string and another nonnegative integer is equal to the length of the other symbolic string, then the nonnegative integer is less than or equal to the other nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24464-24468	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.	UXExperimentalTerms.kif 736-748	If an identifier is the ID of a web browser when accessing a web site, then there exist a symbolic string, a process,, , an agent and a computer process such that the symbolic string is an instance of web page and the symbolic string is a sub-string of the web site and the process is an instance of accessing web page and the agent is an instance of agent and the agent is an agent of the process and the web browser is a program running of the computer process and the computer process causes the process and the process ends up at the symbolic string and the identifier expresses the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 125-131	If a symbolic string is hosted on a web site, then there exists another symbolic string such that the other symbolic string is an instance of web page and the symbolic string is a sub-string of the other symbolic string and the other symbolic string is a sub-string of the web site
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24571-24575	If a symbolic string precedes another symbolic string in a third symbolic string, then the symbolic string is a sub-string of the third symbolic string and the other symbolic string is a sub-string of the third symbolic string

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