states - Sigma Knowledge base Browser

appearance as argument number 1

(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 1830-1834
(domain states 1 CognitiveAgent)	Media.kif 1828-1828	The number 1 argument of states is an instance of cognitive agent
(domain states 2 Sentence)	Media.kif 1829-1829	The number 2 argument of states is an instance of sentence
(instance states AsymmetricRelation)	Media.kif 1827-1827	states is an instance of asymmetric relation
(instance states BinaryPredicate)	Media.kif 1826-1826	states is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage states "%1 states %2 ")	domainEnglishFormat.kif 4626-4626
(format ChineseTraditionalLanguage states "%1 states %2 ")	domainEnglishFormat.kif 4625-4625
(format EnglishLanguage states "%1 states %2")	domainEnglishFormat.kif 4624-4624
(termFormat EnglishLanguage states "states")	domainEnglishFormat.kif 65999-65999

antecedent

(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))

Media.kif 1844-1851

If an agent states an entity holds during a time position,
then there exists a process such that the process is an instance of linguistic communication and the agent is an agent of the process and the entity is a patient of the process and the time position is a part of the time of existence of the process

consequent

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

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

KB Term:			Term intersection

English Word: