AttrFn - Sigma Knowledge base Browser

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

(documentation AttrFn EnglishLanguage "For given class and for given attribute, return a subclass of the class of the argument having the attribute")	Merge.kif 1764-1765
(documentation AttrFn JapaneseLanguage "指定されたクラスと指定された属性の場合、属性を持つオブジェクトのクラスのサブクラスを返す。")	japanese_format.kif 326-327
(domain AttrFn 2 Attribute)	Merge.kif 1771-1771	The number 2 argument of attr is an instance of attribute
(domainSubclass AttrFn 1 Object)	Merge.kif 1770-1770	The number 1 argument of attr is a subclass of object
(instance AttrFn BinaryFunction)	Merge.kif 1767-1767	Attr is an instance of binary function
(instance AttrFn PartialValuedRelation)	Merge.kif 1768-1768	Attr is an instance of partial valued relation
(rangeSubclass AttrFn Object)	Merge.kif 1769-1769	The values returned by attr are subclasses of object

appearance as argument number 2

(format ChineseLanguage AttrFn "%1 跟 %2 的 attr")	domainEnglishFormat.kif 220-220
(format ChineseTraditionalLanguage AttrFn "%1 跟 %2 的 attr")	domainEnglishFormat.kif 219-219
(format EnglishLanguage AttrFn "the attr of %1 and %2")	domainEnglishFormat.kif 218-218
(termFormat ChineseLanguage AttrFn "attr")	domainEnglishFormat.kif 9019-9019
(termFormat ChineseTraditionalLanguage AttrFn "attr")	domainEnglishFormat.kif 9018-9018
(termFormat EnglishLanguage AttrFn "attr")	domainEnglishFormat.kif 9017-9017

antecedent

(=> (and (equal ?X (AttrFn ?CLASS ?ATTR)) (instance ?I ?X)) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (attribute ?I ?ATTR)))	Merge.kif 1773-1781	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
(=> (and (instance ?O OccupationalRole) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))) (exists (?X ?T ?P ?PT) (and (instance ?X CognitiveAgent) (holdsDuring ?T (attribute ?X ?O)) (instance ?P ?PCLASS) (agent ?X ?P) (time ?P ?PT) (temporalPart ?PT ?T))))	Mid-level-ontology.kif 23374-23387	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
(=> (and (instance ?OCCD OccupationalDomain) (instance ?X (AttrFn CognitiveAgent ?OCCD))) (exists (?PCLASS) (and (typicalAction ?PCLASS (AttrFn CognitiveAgent ?OCCD)) (hasPurpose ?X (exists (?P) (and (instance ?P ?PCLASS) (agent ?X ?P)))))))	Mid-level-ontology.kif 23394-23407	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
(=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (attribute ?X ?ATTR)))	Merge.kif 1783-1788	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

(<=> (instance ?X DifferentialEquation) (instance ?X (AttrFn Equation DifferentialAttribute)))	engineering.kif 154-156	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
(=> (and (instance ?OCCD OccupationalDomain) (instance ?X (AttrFn CognitiveAgent ?OCCD))) (exists (?PCLASS) (and (typicalAction ?PCLASS (AttrFn CognitiveAgent ?OCCD)) (hasPurpose ?X (exists (?P) (and (instance ?P ?PCLASS) (agent ?X ?P)))))))	Mid-level-ontology.kif 23394-23407	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
(=> (and (instance ?X ?CLASS) (attribute ?X ?ATTR)) (instance ?X (AttrFn ?CLASS ?ATTR)))	Merge.kif 1790-1795	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
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))))	Mid-level-ontology.kif 23368-23372	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 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