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 15612-15615
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15608-15608	The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15609-15609	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 15607-15607	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 536-536
No TPTP formula. May not be expressible in strict first order.	french_format.kif 313-313
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 30-30
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2081-2081
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 64-64
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 692-692
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 74-74
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 334-334
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 345-345
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 76-76
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 9162-9162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9161-9161
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 210-210
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 77-77

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15553-15560	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 15584-15593	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 2285-2290	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 2292-2299	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 the formula a formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical 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 is a part of the organization US military 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 15618-15624	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 738-748	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity 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 22706-22718	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22683-22697	If news reporter is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of newspaper or the third entity is a subclass of newsprogram and the object is the author of the third entity and the other entity includes a reference to the entity

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