TreeView Knowledge Base Browser

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: