TreeView Knowledge Base Browser - authors

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3561-3562
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14326-14329
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14322-14322	The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14323-14323	The number 2 argument of authors is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14321-14321	authors is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14320-14320	authors is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 531-531
No TPTP formula. May not be expressible in strict first order.	english_format.kif 539-539
No TPTP formula. May not be expressible in strict first order.	Media.kif 1847-1847	composer is a subrelation of authors
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 532-532
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9178-9178
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9177-9177

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1853-1857	If an agent is the author of a kind of musical composition and a kind of musical composition is a subclass of musical composition, then the agent composed the kind of musical composition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-948	If a kind of content bearing object is an instance of joint publication and a kind of content bearing object contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization は組織 US military の一部では %n and the agent obligates the organization to perform task of the type the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14266-14273	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of factual text and a cognitive agent is the author of the kind of content bearing object and the content bearing physical subsumes the content of a formula and the formula is an instance of formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14297-14306	If a content bearing physical is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of fictional text and a cognitive agent is the author of the kind of content bearing object, then there exists a formula such that the content bearing physical subsumes the content of the formula and the formula is an instance of formula and the cognitive agent doesn't believe the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 2265-2270	If a kind of content bearing object is a subclass of party platform and an agent is the author of a kind of content bearing object and the agent is an instance of organization, then the agent is an instance of political party
No TPTP formula. May not be expressible in strict first order.	Government.kif 2272-2279	If a kind of content bearing object is a subclass of party platform and a cognitive agent is the author of a kind of content bearing object and the cognitive agent is an instance of political party and a content bearing physical is an instance of the kind of content bearing object and the content bearing physical contains information a formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14332-14338	If an agent is the author of a kind of content bearing object, then there exist a process and an entity such that the agent is an agent of the process and the entity is an instance of a kind of content bearing object and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 492-501	If writer is an attribute of an agent and a kind of content bearing object is an instance of text or a kind of content bearing object is an instance of Document and a process is an instance of writing and the agent is an agent of the process and the kind of content bearing object is a result of the process, then the agent is the author of the kind of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18789-18795	If art critic is an attribute of an agent, then there exist a kind of content bearing object and an entity such that the entity is an instance of art work and the agent is the author of a kind of content bearing object and the kind of content bearing object includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18774-18783	If news reporter is an attribute of an agent, then there exist a kind of content bearing object and a physical such that the physical is an instance of process and the time of existence of the agent overlaps the time of existence of the physical and the agent is the author of a kind of content bearing object and the kind of content bearing object includes a reference to the physical

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