propositionOwner - Sigma Knowledge base Browser

appearance as argument number 1

(documentation propositionOwner EnglishLanguage "(propositionOwner ?AGENT ?PROP) means that CognitiveAgent ?AGENT was the one who conceptualized or created the Proposition ?PROP")	Catalog.kif 164-166
(domain propositionOwner 1 CognitiveAgent)	Catalog.kif 169-169	The number 1 argument of proposition owner is an instance of cognitive agent
(domain propositionOwner 2 Proposition)	Catalog.kif 170-170	The number 2 argument of proposition owner is an instance of proposition
(instance propositionOwner BinaryPredicate)	Catalog.kif 163-163	proposition owner is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage propositionOwner "%1 authored %2 ")	domainEnglishFormat.kif 4266-4266
(format ChineseTraditionalLanguage propositionOwner "%1 authored %2 ")	domainEnglishFormat.kif 4265-4265
(format EnglishLanguage propositionOwner "%1 authored %2")	domainEnglishFormat.kif 4264-4264
(termFormat EnglishLanguage propositionOwner "proposition owner")	Catalog.kif 167-167

antecedent

(=>
    (and
        (propositionOwner ?AGENT ?HP)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (instance ?R ?ROOM)
        (element ?R
            (PropertyFn ?HOTEL))
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))

Hotel.kif 2744-2757

If a cognitive agent authored a hotel package and the hotel package is an instance of hotel package and an organization provides the hotel package and the hotel package specifies an integer days stay at a kind of hotel unit and an entity is an instance of a kind of hotel unit and the entity is an element of belongings of the organization and another cognitive agent buys the hotel package from the cognitive agent,
then there exists a time position such that the time position is equal to the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time position

consequent

(=>
    (and
        (instance ?CREATE Creation)
        (result ?CREATE ?PROP)
        (instance ?PROP Proposition)
        (agent ?CREATE ?AGENT))
    (propositionOwner ?AGENT ?PROP))

Catalog.kif 172-178

If a process is an instance of creation and a proposition is a result of the process and the proposition is an instance of proposition and a cognitive agent is an agent of the process,
then the cognitive agent authored the proposition

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: