TreeView Knowledge Base Browser - produced

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - produced

produced

appearance as argument number 1

(documentation produced EnglishLanguage "(produced ?A ?R) Human ?A is responsible for all decision-making processes that resulted in Recording ?R")	Mid-level-ontology.kif 20713-20714
(domain produced 1 Human)	Mid-level-ontology.kif 20717-20717	域 produced, 1 and Human
(domain produced 2 Recording)	Mid-level-ontology.kif 20718-20718	域 produced, 2 and Recording
(instance produced BinaryPredicate)	Mid-level-ontology.kif 20712-20712	例 produced and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage produced "%2 produces %1 ")	domainEnglishFormat.kif 4226-4226
(format ChineseTraditionalLanguage produced "%2 produces %1 ")	domainEnglishFormat.kif 4225-4225
(format EnglishLanguage produced "%2 produces %1")	domainEnglishFormat.kif 4224-4224
(termFormat EnglishLanguage produced "produced")	Mid-level-ontology.kif 20715-20715

antecedent

(=> (and (produced ?P ?MOVIE) (instance ?FILMMAKING FilmMaking) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?P FilmProducer)))	Mid-level-ontology.kif 20737-20743	Recording produces Human 例 Process and 電影製作結果 Process and Recording 持有期間何時 Process and attribute Human and 電影製作人
(=> (produced ?R ?A) (exists (?M ?P) (and (instance ?M Managing) (agent ?M ?A) (patient ?M ?P) (instance ?P Process) (result ?P ?R))))	Mid-level-ontology.kif 20720-20728	AutonomousAgent produces Human Process Process 例 Process and Managing agent Process and AutonomousAgent 患者 Process and Process 例 Process and Process 結果 Process and Human

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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