Character - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1645-1647
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1342-1345
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 230-233
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 272-275
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1340-1340	Character is a subclass of symbolic string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19466-19466	Alphabetic character is a subclass of character
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19470-19470	Digit character is a subclass of character
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 835-835
No TPTP formula. May not be expressible in strict first order.	english_format.kif 872-872
No TPTP formula. May not be expressible in strict first order.	french_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 43-43
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 46-46
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2196-2196
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 463-463
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 48-48
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 532-532
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 47-47

appearance as argument number 3

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2904-2909	If an object is an instance of alphabetic string and another object is a part of the object and the other object is an instance of character, then the other object is an instance of alphabetic character
No TPTP formula. May not be expressible in strict first order.	Media.kif 2912-2917	If an object is an instance of decimal digit string and another object is a part of the object and the other object is an instance of character, then the other object is an instance of digit character
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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1347-1352	If an object is an instance of symbolic string, then there exists another object such that the other object is a part of the object and the other object is an instance of character
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 679-688	If a process is an instance of written communication, then there exist an object, another object and a collection such that the object is a result of the process and the object is an instance of text and the other object is a part of the object and the other object is an instance of character and the collection is an instance of script and the other object is a member of the collection