StringLengthFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StringLengthFn

StringLengthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24448-24453
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24446-24446	The number 1 argument of string length fn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24445-24445	String length fn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24444-24444	String length fn is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24443-24443	String length fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24447-24447	The range of string length fn is an instance of nonnegative integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4674-4674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4673-4673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4672-4672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65545-65545

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	If a symbolic string is equal to the reverse of another symbolic string and a nonnegative integer is equal to the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and an integer is equal to the ceiling of (the nonnegative integer and 1) and 2 and the other nonnegative integerEW is equal to ((the integer and the other nonnegative integer) and the integer) and a third symbolic string is equal to the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer), then the third symbolic string is equal to the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)
No TPTP formula. May not be expressible in strict first order.	Media.kif 3319-3326	If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2018-2023	If a computer password is an instance of Apple ID and a symbolic string has password the computer password and a nonnegative integer is equal to the length of the symbolic string, then the nonnegative integer is greater than 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 3346-3353	If a symbolic string is the indexable name for an entity and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24400-24405	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24466-24468	A symbolic string is a nonnegative integer characters long if and only if the nonnegative integer is equal to the length of the symbolic string
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3165-3167	If a symbolic string in IACO airline code denotes an entity, then 3 is equal to the length of the symbolic string
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3152-3154	If a symbolic string in IATA airline code denotes an entity, then 2 is equal to the length of the symbolic string
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3175-3177	If a symbolic string is an instance of AOC number, then 8 is equal to the length 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