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 13701-13701 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 15174-15176
No TPTP formula. May not be expressible in strict first order. Merge.kif 15173-15173 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 1493-1493 Formula is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13753-13753 Order is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13720-13720 Question is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13742-13742 Request is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13703-13703 Statement is a subclass of sentence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13731-13731 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 1289-1289

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23733-23733 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 4514-4514 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 685-685 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 693-693 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 1815-1815 The number 2 argument of states is an instance of sentence
No TPTP formula. May not be expressible in strict first order. Merge.kif 16722-16722 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 1822-1828
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13757-13762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13724-13729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12442-12447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13746-13751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13706-13711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13735-13740
No TPTP formula. May not be expressible in strict first order. Merge.kif 15178-15183
No TPTP formula. May not be expressible in strict first order. Merge.kif 15063-15070

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16705-16711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 674-679


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