Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - states
states

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


(instance states BinaryPredicate) Media.kif 1773-1773 states is an instance of binary predicate
(instance states AsymmetricRelation) Media.kif 1774-1774 states is an instance of asymmetric relation
(domain states 1 CognitiveAgent) Media.kif 1775-1775 The number 1 argument of states is an instance of cognitive agent
(domain states 2 Sentence) Media.kif 1776-1776 The number 2 argument of states is an instance of sentence
(documentation states EnglishLanguage "(holdsDuring ?T1 (states ?AGENT ?SENTENCE)) means that at time ?T1, ?AGENT is the agent of a LinguisticCommunication in which the patient is ?SENTENCE. Note that ?SENTENCE could be a Formula.") Media.kif 1777-1781 The number 2 argument of states is an instance of sentence

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


(format EnglishLanguage states "%1 states %2") domainEnglishFormat.kif 4628-4628
(format ChineseTraditionalLanguage states "%1 states %2 ") domainEnglishFormat.kif 4629-4629
(format ChineseLanguage states "%1 states %2 ") domainEnglishFormat.kif 4630-4630
(termFormat EnglishLanguage states "states") domainEnglishFormat.kif 65976-65976

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


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))		 Media.kif 1791-1798 If X states Y holds during Z, then there exists W such that W is an instance of linguistic communication, X is an agent of W, Y is a patient of W, and Z is a part of the time of existence of W

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


(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))		 Media.kif 1783-1789 If X is an instance of linguistic communication, Y is an agent of X, Z is a patient of X, and Z is an instance of sentence, then Y states Z holds during the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners