JointPublication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - JointPublication

JointPublication(joint publication)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 922-925
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2693-2693
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	Joint publication is a subclass of text

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	Above the line is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 973-973	Below the line is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1017-1017	Joint doctrine is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1099-1099	Joint test is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31757-31757	Joint test is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31756-31756	Joint test is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2939-2939	Joint test is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31755-31755	Joint test is a subclass of joint publication

antecedent

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.	MilitaryProcesses.kif 930-937	If an entity is an instance of joint publication, then there exist a process and an agent such that the process is an instance of managing and chairmanJC s is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process

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 3.0 is open source software produced by Articulate Software and its partners