TreeView Knowledge Base Browser - AboveTheLine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AboveTheLine

AboveTheLine(above the line)

appearance as argument number 1

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.	MilitaryProcesses.kif 956-961
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 955-955	Above 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 1082-1082	Capstone is a subclass of above the line
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1090-1090	Keystone is a subclass of above the line
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5106-5106
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5105-5105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5104-5104

antecedent

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 964-971

If an entity is an instance of above the line,
then there exist a process and an agent such that the process is an instance of signing an agreement 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 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