| 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 1680-1681 | |
| (domain AttrFn 1 SetOrClass) | Merge.kif 1686-1686 | |
| (domain AttrFn 2 Attribute) | Merge.kif 1687-1687 | |
| (instance AttrFn BinaryFunction) | Merge.kif 1683-1683 | |
| (instance AttrFn PartialValuedRelation) | Merge.kif 1684-1684 | |
| (range AttrFn Class) | Merge.kif 1685-1685 |
| 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 9029-9029 | |
| (termFormat ChineseTraditionalLanguage AttrFn "attr") | domainEnglishFormat.kif 9028-9028 | |
| (termFormat EnglishLanguage AttrFn "attr") | domainEnglishFormat.kif 9027-9027 |
| antecedent |
|
|
| (<=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (property ?X ?ATTR))) |
Merge.kif 1710-1715 | |
| (=> (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 20131-20144 | |
| (=> (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 20151-20164 | |
| (=> (equal ?X (AttrFn ?CLASS ?ATTR)) (forall (?I) (=> (instance ?I ?X) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (property ?I ?ATTR))))) |
Merge.kif 1689-1698 |
| 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 20151-20164 | |
| (=> (and (subclass ?X ?CLASS) (instance ?I ?X) (instance ?ATTR Attribute)) (=> (property ?I ?ATTR) (equal ?X (AttrFn ?CLASS ?ATTR)))) |
Merge.kif 1700-1708 | |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 20125-20129 |
|
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