Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stating
Stating(stating)Affermare, Annunciation, Declarar, abjuration, abnegation, account, accounting, accurse, accusal, accusation, accuse, acknowledge, acquaint, acrophony, add, admission, admit, admonish, admonishment, admonition, adumbrate, advance, advisory, affidavit, affirm, affirmation, affirmative, aforementioned, aforesaid, alibi, allegation, alleged, allegedly, allegement, amendment, anathematise, anathematize, anathemise, anathemize, anecdote, animatism, announcement, annunciatory, apologia, apology, append, appointment, apprisal, approbate, argue...

appearance as argument number 1
-------------------------


s__documentation(s__Stating,s__ChineseLanguage,'这个 Class 的实例,它要求 agent 相信自己讲的话。 例如:约翰声称月亮是由奶酪制成的。')

Merge.kif 13038-13039
s__documentation(s__Stating,s__EnglishLanguage,'Instances of this Class commit the agent to some truth.For example, John claimed that the moon is made of green cheese.')

Merge.kif 13036-13037
s__instance(s__LinguisticCommunication,s__SetOrClass)

Merge.kif 13035-13035 Stating is a subclass of linguistic communication

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


s__partition_7(s__Communication,s__Stating,s__Supposing,s__Directing,s__Committing,s__Expressing,s__Declaring)

Merge.kif 12914-12914 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
s__subclass(s__AdoptingPolicy,s__Stating)

TravelPolicies.kif 224-224 AdoptingPolicy is a subclass of stating
s__instance(s__Answering,s__SetOrClass)

Mid-level-ontology.kif 1281-1281 Answering is a subclass of stating
s__subclass(s__Apologizing,s__Stating)

Mid-level-ontology.kif 27706-27706 Apologizing is a subclass of stating
s__instance(s__Arguing,s__SetOrClass)

Mid-level-ontology.kif 1293-1293 Arguing is a subclass of stating
s__subclass(s__Confirming,s__Stating)

Mid-level-ontology.kif 27725-27725 Confirming is a subclass of stating
s__instance(s__Correcting,s__SetOrClass)

Mid-level-ontology.kif 27777-27777 Correcting is a subclass of stating
s__subclass(s__Disagreeing,s__Stating)

Merge.kif 13049-13049 Disagreeing is a subclass of stating
s__instance(s__Notifying,s__SetOrClass)

Facebook.kif 606-606 Notifying is a subclass of stating
s__instance(s__Pleading,s__SetOrClass)

Mid-level-ontology.kif 13776-13776 Pleading is a subclass of stating
s__instance(s__ReachingAgreement,s__SetOrClass)

Media.kif 125-125 ReachingAgreement is a subclass of stating
s__instance(s__Registering,s__SetOrClass)

Mid-level-ontology.kif 1269-1269 Registering is a subclass of stating
s__instance(s__TerminalAttackControl,s__SetOrClass)

MilitaryProcesses.kif 441-441 Terminal attack control is a subclass of stating
s__subclass(s__TerminalGuidance,s__Stating)

MilitaryProcesses.kif 490-490 Terminal guidance is a subclass of stating
s__subclass(s__Testifying,s__Stating)

Mid-level-ontology.kif 13809-13809 Testifying is a subclass of stating
s__termFormat(s__ChineseLanguage,s__Stating,'陈述')

chinese_format.kif 1198-1198 "陈述" is the printable form of stating in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Stating,'stating')

english_format.kif 885-885 "stating" is the printable form of stating in english language
s__termFormat(s__FrenchLanguage,s__Stating,'d�clarer')

french_format.kif 876-876 "d�clarer" is the printable form of stating in french language
s__termFormat(s__Hindi,s__Stating,'kathana')

terms-hindi.txt 409-409 "kathana" is the printable form of stating in Hindi
s__termFormat(s__ItalianLanguage,s__Stating,'Affermare')

terms-it.txt 410-410 "Affermare" is the printable form of stating in italian language
s__termFormat(s__PortugueseLanguage,s__Stating,'Declarar')

portuguese_format.kif 828-828 "Declarar" is the printable form of stating in portuguese language
s__termFormat(s__cb__m,s__Stating,'pagsaysay')

terms-cb.txt 414-414 "pagsaysay" is the printable form of stating in cb
s__termFormat(s__cz__m,s__Stating,'stating')

terms-cz.txt 448-448 "stating" is the printable form of stating in cz
s__termFormat(s__tg__m,s__Stating,'pagsaysay')

terms-tg.txt 413-413 "pagsaysay" is the printable form of stating in tg

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13041-13047
( ! [V__STATE,V__SENTENCE] :
   ((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 11853-11858

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


( ! [V__C,V__A,V__P] :
   ((s__instance(V__C,s__Confirming) &
       s__agent(V__C,V__A)
     &
     s__containsInformation(V__C,V__P))
=>
(? [V__S,V__RA,V__A2] :
   (s__instance(V__S,s__Stating) &
     s__earlier(V__S,V__C)
   &
   s__instance(V__RA,s__ReachingAgreement) &
   s__agent(V__S,V__A2)
&
s__containsInformation(V__RA,V__P)
&
s__containsInformation(V__S,V__P)
&
s__partyToAgreement(V__RA,V__A)
&
s__partyToAgreement(V__RA,V__A2))))
)

Mid-level-ontology.kif 27730-27744
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1484
( ! [V__PAGE,V__ADVERTISING,V__ITEM] :
   ((s__instance(V__PAGE,s__ViewItemPage) &
       s__instance(V__ADVERTISING,s__WebListing) &
       s__component(V__ADVERTISING,V__PAGE)
     &
     s__patient(V__ADVERTISING,V__ITEM)
   &
   s__instance(V__ITEM,s__Physical))
=>
(? [V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
   (s__instance(V__STATING,s__Stating) &
     s__patient(V__STATING,V__DESCRIPTION)
   &
   s__refers(V__DESCRIPTION,V__ITEM)
&
s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
&
s__part(V__DESCRIPTIONCONTENT,V__PAGE))))
)

UXExperimentalTerms.kif 2284-2297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13800-13807
No TPTP formula. May not be expressible in strict first order. Law.kif 78-90
( ! [V__C,V__CS] :
   (s__instance(V__C,s__Correcting) =>
     (? [V__D,V__S,V__SP,V__CP] :
       (s__instance(V__D,s__Disagreeing) &
         s__subProcess(V__C,V__D)
       &
       s__instance(V__S,s__Stating) &
       s__subProcess(V__S,V__D)
     &
     s__containsInformation(V__S,V__SP)
   &
   s__containsInformation(V__C,V__CP)
&
s__refers(V__CP,V__SP)
&
(~ s__consistent(V__CS,V__SP)))))
)

Mid-level-ontology.kif 27782-27794
( ! [V__DESCRIPTIONPAGE] :
   (s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) =>
     (? [V__PRODUCT,V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
       (s__instance(V__PRODUCT,s__Class) &
         s__instance(V__STATING,s__Stating) &
         s__patient(V__STATING,V__DESCRIPTION)
       &
       s__refers(V__DESCRIPTION,V__PRODUCT)
     &
     s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
   &
   s__part(V__DESCRIPTIONCONTENT,V__DESCRIPTIONPAGE))))
)

UXExperimentalTerms.kif 2249-2258
No TPTP formula. May not be expressible in strict first order. Law.kif 439-455


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners