Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - authors
authors

appearance as argument number 1
-------------------------


s__documentation(s__authors__m,s__ChineseLanguage,'(authors ?AGENT ?TEXTCLASS)的意思是 ?AGENT 创作 ?TEXTCLASS 所有实例的内容。例如:阿加莎·克里斯蒂是东方快车谋杀案的作者。')

Merge.kif 15515-15516
s__documentation(s__authors__m,s__EnglishLanguage,'(authors ?AGENT ?TEXTCLASS) means that ?AGENT is creatively responsible for the content of all instances of ?TEXTCLASS. For example, Agatha Christie is author of Murder_on_the_Orient_Express.')

Merge.kif 15511-15514
s__domain(s__authors__m,1,s__Agent)

Merge.kif 15507-15507 The number 1 argument of authors is an instance of agent
s__domainSubclass(s__authors__m,2,s__ContentBearingObject)

Merge.kif 15508-15508 The number 2 argument of authors is a subclass of content bearing object
s__instance(s__authors__m,s__AsymmetricRelation)

Merge.kif 15506-15506 authors is an instance of asymmetric relation
s__instance(s__authors__m,s__BinaryPredicate)

Merge.kif 15505-15505 authors is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__authors__m,'%1 %n 是 %2 的 authors')

chinese_format.kif 531-531
s__format(s__EnglishLanguage,s__authors__m,'%1 is %n the author of %2')

english_format.kif 324-324
s__format(s__FrenchLanguage,s__authors__m,'%1 est %n l auteur de %2')

french_format.kif 313-313
s__format(s__ItalianLanguage,s__authors__m,'%1 � l autore di %2')

relations-it.txt 30-30
s__format(s__PortugueseLanguage,s__authors__m,'%1 e %n o autor de %2')

portuguese_format.kif 265-265
s__format(s__cb__m,s__authors__m,'%1 ang nagsulat sa %2')

relations-cb.txt 64-64
s__format(s__de__m,s__authors__m,'%1 ist der schreiber von %2')

relations-de.txt 692-692
s__format(s__hi__m,s__authors__m,'%1 %2 kaa lekhaka hai')

relations-hindi.txt 74-74
s__format(s__tg__m,s__authors__m,'%1 ay ang sumulat ng %2')

relations-tg.txt 76-76
s__subrelation(s__composer__m,s__authors__m)

Media.kif 1847-1847 composer is a subrelation of authors
s__termFormat(s__ChineseLanguage,s__authors__m,'作者')

chinese_format.kif 532-532 "作者" is the printable form of authors in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__authors__m,'authors')

domainEnglishFormat.kif 1962-1962 "authors" is the printable form of authors in english language
s__termFormat(s__tg__m,s__authors__m,'sumulat')

relations-tg.txt 77-77 "sumulat" is the printable form of authors in tg

antecedent
-------------------------


( ! [V__AGENT,V__CLASS] :
   ((s__authors(V__AGENT,V__CLASS)
     &
     s__subclass(V__CLASS,s__MusicalComposition))
   =>
   s__composer(V__AGENT,V__CLASS))
)

Media.kif 1853-1857
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 929-937
No TPTP formula. May not be expressible in strict first order. Merge.kif 15446-15453
No TPTP formula. May not be expressible in strict first order. Merge.kif 15480-15489
( ! [V__PLATFORM,V__PARTY] :
   ((s__subclass(V__PLATFORM,s__PartyPlatform) &
       s__authors(V__PARTY,V__PLATFORM)
     &
     s__instance(V__PARTY,s__Organization))
   =>
   s__instance(V__PARTY,s__PoliticalParty))
)

Government.kif 2271-2276
No TPTP formula. May not be expressible in strict first order. Government.kif 2278-2285
( ! [V__AGENT,V__TEXTCLASS] :
   (s__authors(V__AGENT,V__TEXTCLASS)
   =>
   (? [V__PROCESS,V__INSTANCE] :
     (s__agent(V__PROCESS,V__AGENT)
     &
     s__instance(V__INSTANCE,V__TEXTCLASS)
   &
   s__result(V__PROCESS,V__INSTANCE))))
)

Merge.kif 15519-15525

consequent
-------------------------


( ! [V__X,V__TEXT,V__WRITE] :
   ((s__attribute(V__X,s__Writer) &
       (s__instance(V__TEXT,s__Text) |
         s__instance(V__TEXT,s__Document))
       &
       s__instance(V__WRITE,s__Writing) &
       s__agent(V__WRITE,V__X)
     &
     s__result(V__WRITE,V__TEXT))
=>
s__authors(V__X,V__TEXT))
)

Biography.kif 492-501
( ! [V__H] :
   (s__attribute(V__H,s__ArtCritic) =>
     (? [V__T,V__AW] :
       (s__instance(V__AW,s__ArtWork) &
         s__authors(V__H,V__T)
       &
       s__refers(V__T,V__AW))))
)

Mid-level-ontology.kif 18698-18704
( ! [V__H] :
   (s__attribute(V__H,s__NewsReporter) =>
     (? [V__T,V__EV] :
       (s__instance(V__EV,s__Process) &
         s__overlapsTemporally(s__WhenFn(V__EV)
      ,s__WhenFn(V__H))
   &
   s__authors(V__H,V__T)
&
s__refers(V__T,V__EV))))
)

Mid-level-ontology.kif 18683-18692


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners