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 1766-1767 | |
(documentation AttrFn JapaneseLanguage "指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。") | japanese_format.kif 326-327 | |
(domain AttrFn 2 Attribute) | Merge.kif 1773-1773 | |
(domainSubclass AttrFn 1 Object) | Merge.kif 1772-1772 | |
(instance AttrFn BinaryFunction) | Merge.kif 1769-1769 | |
(instance AttrFn PartialValuedRelation) | Merge.kif 1770-1770 | |
(rangeSubclass AttrFn Object) | Merge.kif 1771-1771 |
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 9013-9013 | |
(termFormat ChineseTraditionalLanguage AttrFn "attr") | domainEnglishFormat.kif 9012-9012 | |
(termFormat EnglishLanguage AttrFn "attr") | domainEnglishFormat.kif 9011-9011 |
antecedent |
![]() |
(=> (and (equal ?X (AttrFn ?CLASS ?ATTR)) (instance ?I ?X)) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (attribute ?I ?ATTR))) |
Merge.kif 1775-1783 | |
(=> (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 23903-23916 | |
(=> (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 23923-23936 | |
(=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (attribute ?X ?ATTR))) |
Merge.kif 1785-1790 |
consequent |
![]() |
(<=> (instance ?X DifferentialEquation) (instance ?X (AttrFn Equation DifferentialAttribute))) |
engineering.kif 154-156 | |
(=> (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 23923-23936 | |
(=> (and (instance ?X ?CLASS) (attribute ?X ?ATTR)) (instance ?X (AttrFn ?CLASS ?ATTR))) |
Merge.kif 1792-1797 | |
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 23897-23901 |
![]() |
![]() |