TreeView Knowledge Base Browser - resultType

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - resultType

resultType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1685-1686
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1682-1682	The number 1 argument of result type is an instance of process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1683-1683	The number 2 argument of result type is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1681-1681	result type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2159-2159
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2158-2158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2157-2157
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49802-49802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49801-49801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49800-49800

antecedent

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

Economy.kif 1688-1693

If a kind of object is a result type of a process,
then there exists an entity such that the entity is an instance of a kind of object and the entity is a result 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