No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | Linguistic expression is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24847-24847 | Postal address text is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | Language is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15274-15274 | Morpheme is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15301-15301 | Phrase is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15359-15359 | Text is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15442-15442 | Sentence is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2902-2902 | Alphabetic string is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2939-2939 | Alpha numeric string is a subclass of linguistic expression |