Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 1862-1863 | |
| (instance AttrFn BinaryFunction) | Merge.kif 1865-1865 | Attr is an instance of binary function |
| (instance AttrFn PartialValuedRelation) | Merge.kif 1866-1866 | Attr is an instance of partial valued relation |
| (rangeSubclass AttrFn Object) | Merge.kif 1867-1867 | The values returned by attr are subclasses of object |
| (domainSubclass AttrFn 1 Object) | Merge.kif 1868-1868 | The number 1 argument of attr is a subclass of object |
| (domain AttrFn 2 Attribute) | Merge.kif 1869-1869 | The number 2 argument of attr is an instance of attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage AttrFn "the attr of %1 and %2") | domainEnglishFormat.kif 218-218 | |
| (format ChineseTraditionalLanguage AttrFn "%1 跟 %2 的 attr") | domainEnglishFormat.kif 219-219 | |
| (format ChineseLanguage AttrFn "%1 跟 %2 的 attr") | domainEnglishFormat.kif 220-220 | |
| (termFormat EnglishLanguage AttrFn "attr") | domainEnglishFormat.kif 9010-9010 | |
| (termFormat ChineseTraditionalLanguage AttrFn "attr") | domainEnglishFormat.kif 9011-9011 | |
| (termFormat ChineseLanguage AttrFn "attr") | domainEnglishFormat.kif 9012-9012 |
| antecedent |
|
|
| (=> (and (equal ?X (AttrFn ?CLASS ?ATTR)) (instance ?I ?X)) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (attribute ?I ?ATTR))) |
Merge.kif 1871-1879 | If equal X, the attr of Y, and Z and W is an instance of X, then W is an instance of Y, X is a subclass of Y, and Z is an attribute of W |
| (=> (instance ?X (AttrFn ?CLASS ?ATTR)) (and (instance ?X ?CLASS) (attribute ?X ?ATTR))) |
Merge.kif 1881-1886 | If X is an instance of the attr of Y and Z, then X is an instance of Y and Z is an attribute of X |
| (=> (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 24538-24551 | If X is an instance of occupational role and Y is a typical action of a the attr of cognitive agent and X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of cognitive agent (3) X is an attribute of Z holds during W (4) V is an instance of Y (5) V is an agent of Z (6) V exists during U (7) U is a part of W |
| (=> (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 24558-24571 | If X is an instance of occupational domain and Y is an instance of the attr of cognitive agent and X, then there exists Z such that Z is a typical action of a the attr of cognitive agent, X, Y has the purpose there exists W such that W is an instance of Z, and W is an agent of Y |
| consequent |
|
|
|