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 2695-2695
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 954-954 Above the line is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 972-972 Below the line is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1016-1016 Joint doctrine is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1098-1098 Joint test is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31716-31716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31715-31715
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2722-2722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31714-31714

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 940-948
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 930-937


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