Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BelowTheLine
BelowTheLine(below the line)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 975-981
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 973-973 Below the line is a subclass of joint publication

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 974-974 Above the line is disjoint from below the line
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10709-10709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10708-10708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10707-10707

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 984-991


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