Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Sentence
Sentence(sentence)Bayes'_postulate, anacoluthia, anacoluthon, asyndetic, axiom, axiomatic, axiomatical, complex_sentence, compound_sentence, contradictory, contrary, converse, conversion, cross-sentential, declarative_sentence, declaratory_sentence, double_negative, hypallage, hyperbaton, hypozeugma, hypozeuxis, intrasentential, lemma, loose_sentence, major_premise, major_premiss, minor_premise, minor_premiss, negation, periodic_sentence, polysyndeton, posit, postulate, postulational, proposition, run-on_sentence, sentence, sentential, simple_sentence, subsumption, syndetic, thesis, topic_sentence

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15602-15602 Sentence is disjointly decomposed into statement, supposition, question, request, and order
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3559-3560 Sentence is disjointly decomposed into statement, supposition, question, request, and order
No TPTP formula. May not be expressible in strict first order. Merge.kif 15581-15583 Sentence is disjointly decomposed into statement, supposition, question, request, and order
No TPTP formula. May not be expressible in strict first order. Merge.kif 15580-15580 Sentence is a subclass of linguistic expression

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1542-1542 Formula is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15654-15654 Order is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15621-15621 Question is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15643-15643 Request is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15604-15604 Statement is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15632-15632 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1039-1039 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. english_format.kif 1289-1289 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. french_format.kif 717-717 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 249-249 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. terms-it.txt 252-252 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2401-2401 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 669-669 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 254-254 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 287-287 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. terms-de.txt 546-546 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 738-738 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 253-253 Supposition is a subclass of sentence

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26020-26020 The number 2 argument of grammatical relation is an instance of sentence
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4546-4546 The number 2 argument of security QA is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 713-713 The number 2 argument of sentential object is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 721-721 The number 2 argument of sentential subject is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Media.kif 1831-1831 The number 2 argument of states is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Merge.kif 17150-17150 The number 1 argument of truth is an instance of sentence

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1838-1844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15658-15663
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15625-15630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14308-14313
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15647-15652
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15607-15612
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15636-15641
No TPTP formula. May not be expressible in strict first order. Merge.kif 15585-15590
No TPTP formula. May not be expressible in strict first order. Merge.kif 15470-15477

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17133-17139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 702-707


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