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
-------------------------


s__disjointDecomposition__6(s__Sentence,s__Statement,s__Supposition,s__Question,s__Request,s__Order)

Mid-level-ontology.kif 12472-12472 Sentence is disjointly decomposed into statement, supposition, question, request, and order
s__documentation(s__Sentence,s__ChineseLanguage,'"这是以一种 Language 句法工整的说话。它至少包括一个谓词 和一个主语(可以是明确的或含蓄的),并用于表达一个 Proposition。"')

chinese_format.kif 3559-3560
s__documentation(s__Sentence,s__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 14672-14674
s__subclass(s__Sentence,s__LinguisticExpression)

s__instance(s__LinguisticExpression,s__SetOrClass)

s__instance(s__Sentence,s__SetOrClass)

Merge.kif 14671-14671 Sentence is a subclass of linguistic expression

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


s__instance(s__Formula,s__SetOrClass)

s__subclass(s__Formula,s__Sentence)

s__instance(s__Sentence,s__SetOrClass)

Merge.kif 1429-1429 Formula is a subclass of sentence
s__subclass(s__Order,s__Sentence)

s__instance(s__Order,s__SetOrClass)

s__instance(s__Sentence,s__SetOrClass)

Mid-level-ontology.kif 12524-12524 Order is a subclass of sentence
s__instance(s__Question,s__SetOrClass)

s__subclass(s__Question,s__Sentence)

s__instance(s__Sentence,s__SetOrClass)

Mid-level-ontology.kif 12491-12491 Question is a subclass of sentence
s__subclass(s__Request,s__Sentence)

s__instance(s__Request,s__SetOrClass)

s__instance(s__Sentence,s__SetOrClass)

Mid-level-ontology.kif 12513-12513 Request is a subclass of sentence
s__instance(s__Statement,s__SetOrClass)

s__instance(s__Sentence,s__SetOrClass)

s__subclass(s__Statement,s__Sentence)

Mid-level-ontology.kif 12474-12474 Statement is a subclass of sentence
s__instance(s__Supposition,s__SetOrClass)

s__subclass(s__Supposition,s__Sentence)

s__instance(s__Sentence,s__SetOrClass)

Mid-level-ontology.kif 12502-12502 Supposition is a subclass of sentence
s__termFormat(s__ChineseLanguage,s__Sentence,'"句子"')

chinese_format.kif 1039-1039
s__termFormat(s__EnglishLanguage,s__Sentence,'"sentence"')

english_format.kif 1294-1294

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


s__domain(s__grammaticalRelation__m,n__2,s__Sentence)

Mid-level-ontology.kif 22342-22342 The number 2 argument of grammatical relation is an instance of sentence
s__domain(s__securityQA__m,n__2,s__Sentence)

ComputingBrands.kif 4522-4522 The number 2 argument of securityQA is an instance of sentence
s__domain(s__sententialObject__m,n__2,s__Sentence)

Mid-level-ontology.kif 664-664 The number 2 argument of sentential object is an instance of sentence
s__domain(s__sententialSubject__m,n__2,s__Sentence)

Mid-level-ontology.kif 672-672 The number 2 argument of sentential subject is an instance of sentence
s__domain(s__states__m,n__2,s__Sentence)

Media.kif 1819-1819 The number 2 argument of states is an instance of sentence
s__domain(s__truth__m,n__1,s__Sentence)

Merge.kif 16203-16203 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
( ! [V__SENTENCE,V__ORDER] :
   (((s__instance(V__ORDER,s__Ordering) &
         s__result(V__ORDER,V__SENTENCE)
       &
       s__instance(V__SENTENCE,s__Sentence))
     =>
     (s__instance(V__SENTENCE,s__Order)))
   )
)

Mid-level-ontology.kif 12528-12533
( ! [V__SENTENCE,V__QUESTION] :
   (((s__instance(V__QUESTION,s__Questioning) &
         s__result(V__QUESTION,V__SENTENCE)
       &
       s__instance(V__SENTENCE,s__Sentence))
     =>
     (s__instance(V__SENTENCE,s__Question)))
   )
)

Mid-level-ontology.kif 12495-12500
( ! [V__R,V__T] :
   (((s__instance(V__R,s__Regretting) &
         s__patient(V__R,V__T)
       &
       s__instance(V__T,s__Sentence))
     =>
     (s__truth(V__T,'$true__m')))
)
)

Mid-level-ontology.kif 11224-11229
( ! [V__SENTENCE,V__REQUEST] :
   (((s__instance(V__REQUEST,s__Requesting) &
         s__result(V__REQUEST,V__SENTENCE)
       &
       s__instance(V__SENTENCE,s__Sentence))
     =>
     (s__instance(V__SENTENCE,s__Request)))
   )
)

Mid-level-ontology.kif 12517-12522
( ! [V__SENTENCE,V__STATE] :
   (((s__instance(V__STATE,s__Stating) &
         s__result(V__STATE,V__SENTENCE)
       &
       s__instance(V__SENTENCE,s__Sentence))
     =>
     (s__instance(V__SENTENCE,s__Statement)))
   )
)

Mid-level-ontology.kif 12477-12482
( ! [V__SENTENCE,V__SUPPOSE] :
   (((s__instance(V__SUPPOSE,s__Supposing) &
         s__result(V__SUPPOSE,V__SENTENCE)
       &
       s__instance(V__SENTENCE,s__Sentence))
     =>
     (s__instance(V__SENTENCE,s__Supposition)))
   )
)

Mid-level-ontology.kif 12506-12511
( ! [V__SENT] :
   ((s__instance(V__SENT,s__Sentence) =>
       (( ? [V__PROP] :
           ((s__instance(V__PROP,s__Proposition) &
               s__containsInformation(V__SENT,V__PROP))))))
   )
)

Merge.kif 14676-14681
( ! [V__SENTENCE] :
   ((s__instance(V__SENTENCE,s__Sentence) =>
       (( ? [V__PHRASE1, V__PHRASE2] :
           ((s__instance(V__PHRASE1,s__NounPhrase) &
               s__instance(V__PHRASE2,s__VerbPhrase) &
               s__part(V__PHRASE1,V__SENTENCE)
             &
             s__part(V__PHRASE2,V__SENTENCE))))))
)
)

Merge.kif 14561-14568

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


( ! [V__ITEM,V__VALUE] :
   (((s__property(V__ITEM,V__VALUE)
       &
       s__instance(V__VALUE,s__TruthValue))
     =>
     ((s__instance(V__ITEM,s__Sentence) |
         s__instance(V__ITEM,s__Proposition))))
   )
)

Merge.kif 16186-16192
( ! [V__T] :
   ((s__instance(V__T,s__Paragraph) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__Sentence) &
               s__part(V__S,V__T))))))
   )
)

Mid-level-ontology.kif 653-658


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