| 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 1681-1682 | |
| (domain AttrFn 1 Class) | Merge.kif 1687-1687 | |
| (domain AttrFn 2 Attribute) | Merge.kif 1688-1688 | |
| (instance AttrFn BinaryFunction) | Merge.kif 1684-1684 | |
| (instance AttrFn PartialValuedRelation) | Merge.kif 1685-1685 | |
| (range AttrFn Class) | Merge.kif 1686-1686 |
| 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 9021-9021 | |
| (termFormat ChineseTraditionalLanguage AttrFn "attr") | domainEnglishFormat.kif 9020-9020 | |
| (termFormat EnglishLanguage AttrFn "attr") | domainEnglishFormat.kif 9019-9019 |
| antecedent |
|
|
| (<=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (property ?X ?ATTR))) |
Merge.kif 1711-1716 | |
| (=> (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 21034-21047 | |
| (=> (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 21054-21067 | |
| (=> (equal ?X (AttrFn ?CLASS ?ATTR)) (forall (?I) (=> (instance ?I ?X) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (property ?I ?ATTR))))) |
Merge.kif 1690-1699 |
| 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 21054-21067 | |
| (=> (and (subclass ?X ?CLASS) (instance ?I ?X) (instance ?ATTR Attribute)) (=> (property ?I ?ATTR) (equal ?X (AttrFn ?CLASS ?ATTR)))) |
Merge.kif 1701-1709 | |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 21028-21032 |
|
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