LinguisticExpression(linguistic expression) | ![]() | Americanism, Anglicism, Briticism, Britishism, Gallicism, accusative, acronymic, acronymous, adscript, adverbial, allographic, allusive, ambiguity, ambiguous, amphibology, amphiboly, anacoluthic, anaphoric_relation, anatomical, anatomical_reference, antepenult, antepenultima, antepenultimate, appositional, appositive, argot, boilerplate, cant, clausal, cognate, collocation, colloquialism, conjunction, constituent, contrastive, coordinating, coordinating_conjunction, coordinative, copperplate, copulative, copulative_conjunction, coreference, countersign, cross-linguistic, cryptogamic, cryptogamous, cursive, cursive_script, dead_metaphor, denotative... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1393-1393 | Linguistic expression is disjoint from icon |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1656-1657 | Linguistic expression is disjoint from icon |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1395-1398 | Linguistic expression is disjoint from icon |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 243-245 | Linguistic expression is disjoint from icon |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 287-289 | Linguistic expression is disjoint from icon |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | Linguistic expression is a subclass of content bearing physical |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2941-2941 | Alpha numeric string is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2904-2904 | Alphabetic string is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1400-1400 | Language is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15412-15412 | Morpheme is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15439-15439 | Phrase is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26511-26511 | Postal address text is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15580-15580 | Sentence is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15497-15497 | Text is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1538-1538 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 838-838 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 878-878 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 514-514 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 46-46 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 49-49 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2199-2199 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 466-466 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 81-81 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 340-340 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 535-535 | Word is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 50-50 | Word is a subclass of linguistic expression |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4630-4630 | The number 1 argument of expressed in language is an instance of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4490-4490 | The number 1 argument of represents in language is an instance of linguistic expression |
consequent |
![]() |
![]() |
![]() |