| appearance as argument number 1 |
|
| (documentation AttrFn EnglishLanguage "For given class and for given attribute, return a subclass of the class of object having the attribute") | Merge.kif 2842-2843 | |
| (documentation AttrFn JapaneseLanguage "指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。") | Merge.kif 2845-2846 | |
| (domain AttrFn 1 SetOrClass) | Merge.kif 2851-2851 | AttrFn の数値 1 引数は 同じセットまたはクラス の instance では %n |
| (domain AttrFn 2 Attribute) | Merge.kif 2852-2852 | AttrFn の数値 2 引数は 属性 の instance では %n |
| (instance AttrFn BinaryFunction) | Merge.kif 2848-2848 | AttrFn は 2変数関数 の instance では %n |
| (instance AttrFn PartialValuedRelation) | Merge.kif 2849-2849 | AttrFn は 部分的価値関係 の instance では %n |
| (range AttrFn Class) | Merge.kif 2850-2850 | AttrFn の range は クラス のインスタンス では %n |
| 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 9025-9025 | termFormat ChineseLanguage, AttrFn and "attr" |
| (termFormat ChineseTraditionalLanguage AttrFn "attr") | domainEnglishFormat.kif 9024-9024 | termFormat ChineseTraditionalLanguage, AttrFn and "attr" |
| (termFormat EnglishLanguage AttrFn "attr") | domainEnglishFormat.kif 9023-9023 | termFormat EnglishLanguage, AttrFn and "attr" |
| antecedent |
|
|
| (<=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (property ?X ?ATTR))) |
Merge.kif 2875-2880 | エンティティー は AttrFn 同じセットまたはクラス and 属性 の instance では %n エンティティー は 同じセットまたはクラス の instance では %n エンティティー には attribute 属性 %n{ない} |
| (=> (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 20088-20101 |
|
| (=> (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 20108-20121 | |
| (=> (equal ?X (AttrFn ?CLASS ?ATTR)) (forall (?I) (=> (instance ?I ?X) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (property ?I ?ATTR))))) |
Merge.kif 2854-2863 |
| consequent |
|
|
| (<=> (instance ?X DifferentialEquation) (instance ?X (AttrFn Equation DifferentialAttribute))) |
engineering.kif 154-156 | エンティティー は DifferentialEquation の instance では %n エンティティー は AttrFn Equation and DifferentialAttribute の instance では %n |
| (=> (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 20108-20121 | |
| (=> (and (subclass ?X ?CLASS) (instance ?I ?X) (instance ?ATTR Attribute)) (=> (property ?I ?ATTR) (equal ?X (AttrFn ?CLASS ?ATTR)))) |
Merge.kif 2865-2873 | |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 20082-20086 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners