TreeView Knowledge Base Browser - AttrFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AttrFn

AttrFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1771-1772
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 326-327
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1778-1778	The number 2 argument of attr is an instance of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1777-1777	The number 1 argument of attr is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1774-1774	Attr is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1775-1775	Attr is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1776-1776	The values returned by attr are subclasses of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 220-220
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 219-219
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 218-218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9012-9012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9011-9011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9010-9010

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	If a kind of object is equal to the attr of another kind of object and an attribute and a third object is an instance of a kind of object, then the third object is an instance of another kind of object and the kind of object is a subclass of the other kind of object and the attribute is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22260-22273	If an attribute is an instance of occupational role and a kind of process is a typical action of a the attr of cognitive agent and the attribute, then there exist another process, a time position,, , an agent and the agentT such that the other process is an instance of cognitive agent and the attribute is an attribute of the other process holds during the time position and the agent is an instance of a kind of process and the agent is an agent of the other process and the agent exists during the agentT and the agentT is a part of the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	If an attribute is an instance of occupational domain and a physical is an instance of the attr of cognitive agent and the attribute, then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute and the physical has the purpose there exists an entity such that the entity is an instance of the kind of process and the entity is an agent of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1790-1795	If an object is an instance of the attr of another kind of object and an attribute, then the object is an instance of another kind of object and the attribute is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 155-157	An entity is an instance of differential equation if and only if the entity is an instance of the attr of equation and differential attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	If an attribute is an instance of occupational domain and a physical is an instance of the attr of cognitive agent and the attribute, then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute and the physical has the purpose there exists an entity such that the entity is an instance of the kind of process and the entity is an agent of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1797-1802	If an object is an instance of another kind of object and an attribute is an attribute of the object, then the object is an instance of the attr of another kind of object and the attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22254-22258	If an attribute is an instance of occupational role, then there exists a kind of process such that a kind of process is a typical action of a the attr of cognitive agent and the attribute

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