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

(disjointDecomposition Sentence Statement Supposition Question Request Order)	Mid-level-ontology.kif 15159-15159	Sentence is disjointly decomposed into statement, supposition, question, request, and order
(documentation Sentence ChineseLanguage "这是以一种 Language 句法工整的说话。它至少包括一个谓词和一个主语(可以是明确的或含蓄的)，并用于表达一个 Proposition。")	chinese_format.kif 3559-3560	Sentence is disjointly decomposed into statement, supposition, question, request, and order
(documentation Sentence EnglishLanguage "A syntactically well_formed formula of a Language. It includes, at minimum, a predicate and a subject (which may be explicit or implicit), and it expresses a Proposition.")	Merge.kif 15517-15519	Sentence is disjointly decomposed into statement, supposition, question, request, and order
(subclass Sentence LinguisticExpression)	Merge.kif 15516-15516	Sentence is a subclass of linguistic expression

appearance as argument number 2

(subclass Formula Sentence)	Merge.kif 1540-1540	Formula is a subclass of sentence
(subclass Order Sentence)	Mid-level-ontology.kif 15211-15211	Order is a subclass of sentence
(subclass Question Sentence)	Mid-level-ontology.kif 15178-15178	Question is a subclass of sentence
(subclass Request Sentence)	Mid-level-ontology.kif 15200-15200	Request is a subclass of sentence
(subclass Statement Sentence)	Mid-level-ontology.kif 15161-15161	Statement is a subclass of sentence
(subclass Supposition Sentence)	Mid-level-ontology.kif 15189-15189	Supposition is a subclass of sentence
(termFormat ChineseLanguage Sentence "句子")	chinese_format.kif 1039-1039	Supposition is a subclass of sentence
(termFormat EnglishLanguage Sentence "sentence")	english_format.kif 1289-1289	Supposition is a subclass of sentence
(termFormat FrenchLanguage Sentence "phrase")	french_format.kif 717-717	Supposition is a subclass of sentence
(termFormat Hindi Sentence "vaakya")	terms-hindi.txt 249-249	Supposition is a subclass of sentence
(termFormat ItalianLanguage Sentence "Frase")	terms-it.txt 252-252	Supposition is a subclass of sentence
(termFormat JapaneseLanguage Sentence "文")	japanese_format.kif 2401-2401	Supposition is a subclass of sentence
(termFormat PortugueseLanguage Sentence "Frase")	portuguese_format.kif 669-669	Supposition is a subclass of sentence
(termFormat cb Sentence "hunahuna")	terms-cb.txt 254-254	Supposition is a subclass of sentence
(termFormat cz Sentence "sentence")	terms-cz.txt 287-287	Supposition is a subclass of sentence
(termFormat de Sentence "Satz")	terms-de.txt 546-546	Supposition is a subclass of sentence
(termFormat ro Sentence "propoziþie")	relations-ro.kif 738-738	Supposition is a subclass of sentence
(termFormat tg Sentence "pangungusap")	terms-tg.txt 253-253	Supposition is a subclass of sentence

appearance as argument number 3

(domain grammaticalRelation 2 Sentence)	Mid-level-ontology.kif 25475-25475	The number 2 argument of grammatical relation is an instance of sentence
(domain securityQA 2 Sentence)	ComputingBrands.kif 4551-4551	The number 2 argument of security QA is an instance of sentence
(domain sententialObject 2 Sentence)	Mid-level-ontology.kif 713-713	The number 2 argument of sentential object is an instance of sentence
(domain sententialSubject 2 Sentence)	Mid-level-ontology.kif 721-721	The number 2 argument of sentential subject is an instance of sentence
(domain states 2 Sentence)	Media.kif 1829-1829	The number 2 argument of states is an instance of sentence
(domain truth 1 Sentence)	Merge.kif 17086-17086	The number 1 argument of truth is an instance of sentence

antecedent

(=> (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (instance ?SENTENCE Sentence)) (holdsDuring (WhenFn ?COMM) (states ?AGENT ?SENTENCE)))	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
(=> (and (instance ?ORDER Ordering) (result ?ORDER ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Order))	Mid-level-ontology.kif 15215-15220	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
(=> (and (instance ?QUESTION Questioning) (result ?QUESTION ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Question))	Mid-level-ontology.kif 15182-15187	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
(=> (and (instance ?R Regretting) (patient ?R ?T) (instance ?T Sentence)) (truth ?T True))	Mid-level-ontology.kif 13873-13878	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
(=> (and (instance ?REQUEST Requesting) (result ?REQUEST ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Request))	Mid-level-ontology.kif 15204-15209	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
(=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement))	Mid-level-ontology.kif 15164-15169	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
(=> (and (instance ?SUPPOSE Supposing) (result ?SUPPOSE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Supposition))	Mid-level-ontology.kif 15193-15198	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
(=> (instance ?SENT Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENT ?PROP))))	Merge.kif 15521-15526	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
(=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE))))	Merge.kif 15406-15413	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

(=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition)))	Merge.kif 17069-17075	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
(=> (instance ?T Paragraph) (exists (?S) (and (instance ?S Sentence) (part ?S ?T))))	Mid-level-ontology.kif 702-707	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