TreeView Knowledge Base Browser - JointPublication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

JointPublication

Sigma KEE - JointPublication

JointPublication

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 2694-2694
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 921-921	JointPublication est une sous-classe de texte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	AboveTheLine est une sous-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 973-973	BelowTheLine est une sous-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1017-1017	JointDoctrine est une sous-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1099-1099	JointTest est une sous-classe de JointPublication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31729-31729
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31728-31728
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2766-2766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31727-31727

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	Objet exprimant un sens est une sous-classe de JointPublication ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information formule AutonomousAgent est l' auteur de objet exprimant un sens organisation organisation est une partie de l'organization USMilitary AutonomousAgent oblige organisation � ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 930-937	Entit� est une instance de JointPublication processus AutonomousAgent processus est une instance de diriger ChairmanJCS est un attribut de AutonomousAgent processus est un agent de AutonomousAgent entit� est un patient de processus

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