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

appearance as argument number 2

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

antecedent

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

Media.kif 1846-1853

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

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: