| 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 1748-1749 | |
| (domain AttrFn 2 Attribute) | Merge.kif 1755-1755 | |
| (domainSubclass AttrFn 1 Object) | Merge.kif 1754-1754 | |
| (instance AttrFn BinaryFunction) | Merge.kif 1751-1751 | |
| (instance AttrFn PartialValuedRelation) | Merge.kif 1752-1752 | |
| (rangeSubclass AttrFn Object) | Merge.kif 1753-1753 |
| 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 9016-9016 | |
| (termFormat ChineseTraditionalLanguage AttrFn "attr") | domainEnglishFormat.kif 9015-9015 | |
| (termFormat EnglishLanguage AttrFn "attr") | domainEnglishFormat.kif 9014-9014 |
| antecedent |
|
|
| (=> (and (equal ?X (AttrFn ?CLASS ?ATTR)) (instance ?I ?X)) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (attribute ?I ?ATTR))) |
Merge.kif 1757-1765 | |
| (=> (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 22209-22222 | |
| (=> (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 22229-22242 | |
| (=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (attribute ?X ?ATTR))) |
Merge.kif 1767-1772 |
| 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 22229-22242 | |
| (=> (and (instance ?X ?CLASS) (attribute ?X ?ATTR)) (instance ?X (AttrFn ?CLASS ?ATTR))) |
Merge.kif 1774-1779 | |
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 22203-22207 |
|
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