Sentence - Sigma Knowledge base Browser

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 14231-14231	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 15443-15445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15442-15442	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 1547-1547	Formula is a subclass of sentence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14283-14283	Order is a subclass of sentence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14250-14250	Question is a subclass of sentence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14272-14272	Request is a subclass of sentence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14233-14233	Statement is a subclass of sentence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14261-14261	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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 717-717
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 249-249
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 252-252
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2401-2401
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 669-669
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 254-254
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 287-287
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 738-738
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 253-253

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24356-24356	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 4551-4551	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 720-720	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 728-728	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 1829-1829	The number 2 argument of states is an instance of sentence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16990-16990	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 1836-1842	If a process is an instance of linguistic communication and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of sentence, then the agent states the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14287-14292	If a process is an instance of ordering and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of order
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14254-14259	If a process is an instance of questioning and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of question
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12977-12982	If a process is an instance of regretting and a sentence is a patient of the process and the sentence is an instance of sentence, then the sentence is true
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14276-14281	If a process is an instance of requesting and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of request
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14236-14241	If a process is an instance of stating and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of statement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14265-14270	If a process is an instance of supposing and an entity is a result of the process and the entity is an instance of sentence, then the entity is an instance of supposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15447-15452	If a content bearing physical is an instance of sentence, then there exists a proposition such that the proposition is an instance of proposition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15332-15339	If an object is an instance of sentence, then there exist another object and a third object such that the other object is an instance of noun phrase and the third object is an instance of verb phrase and the other object is a part of the object and the third object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16973-16979	If an entity the attribute an attribute and the attribute is an instance of truth value, then the entity is an instance of sentence or the entity is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 709-714	If an object is an instance of paragraph, then there exists another object such that the other object is an instance of sentence and the other object is a part of the object

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