propositionOwner - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__propositionOwner__m,s__EnglishLanguage,'"(propositionOwner ?AGENT ?PROP) means that CognitiveAgent ?AGENT was the one who conceptualized or created the Proposition ?PROP"')	Catalog.kif 159-161
s__domain(s__propositionOwner__m,n__1,s__CognitiveAgent)	Catalog.kif 164-164	The number 1 argument of proposition owner is an instance of cognitive agent
s__domain(s__propositionOwner__m,n__2,s__Proposition)	Catalog.kif 165-165	The number 2 argument of proposition owner is an instance of proposition
s__instance(s__propositionOwner__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Catalog.kif 158-158	proposition owner is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__propositionOwner__m,'"%1 authored %2 "')	domainEnglishFormat.kif 4271-4271
s__format(s__ChineseTraditionalLanguage,s__propositionOwner__m,'"%1 authored %2 "')	domainEnglishFormat.kif 4270-4270
s__format(s__EnglishLanguage,s__propositionOwner__m,'"%1 authored %2"')	domainEnglishFormat.kif 4269-4269
s__termFormat(s__EnglishLanguage,s__propositionOwner__m,'"proposition owner"')	Catalog.kif 162-162

antecedent

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 2687-2699

consequent

( ! [V__AGENT,V__CREATE,V__PROP] :
   (s__instance(V__AGENT,s__CognitiveAgent) =>
     (s__instance(V__CREATE,s__Creation) &
       s__result(V__CREATE,V__PROP)
     &
     s__instance(V__PROP,s__Proposition) &
     s__agent(V__CREATE,V__AGENT))
=>
s__propositionOwner(V__AGENT,V__PROP)
)
)

Catalog.kif 167-173