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 11881-11881 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 14324-14326
No TPTP formula. May not be expressible in strict first order. Merge.kif 14323-14323 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 1427-1427 Formula is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11933-11933 Order is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11900-11900 Question is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11922-11922 Request is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11883-11883 Statement is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11911-11911 Supposition is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1039-1039
No TPTP formula. May not be expressible in strict first order. english_format.kif 1294-1294

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22099-22099 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 4492-4492 The number 2 argument of securityQA is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 877-877 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 885-885 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 1819-1819 The number 2 argument of states is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15855-15855 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 1826-1832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11937-11942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11904-11909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10614-10619
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11926-11931
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11886-11891
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11915-11920
No TPTP formula. May not be expressible in strict first order. Merge.kif 14328-14333
No TPTP formula. May not be expressible in strict first order. Merge.kif 14213-14220

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15838-15844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 866-871


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