Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| typicalAction |
| appearance as argument number 1 |
|
| (domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 25134-25134 | The number 1 argument of typical action is a subclass of process |
| (domainSubclass typicalAction 2 AutonomousAgent) | Mid-level-ontology.kif 25135-25135 | The number 2 argument of typical action is a subclass of agent |
| (instance typicalAction BinaryPredicate) | Mid-level-ontology.kif 25136-25136 | typical action is an instance of binary predicate |
| (relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 25137-25137 | typical action is internally related to agent |
| (documentation typicalAction EnglishLanguage "(typicalAction ?PROCESS ?CLASS) means that instances of the class ?AGENT are typically an active determinant of instances of the Process class ?PROCESS.") | Mid-level-ontology.kif 25139-25140 | typical action is internally related to agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage typicalAction "%1 is a typical action of a %2") | domainEnglishFormat.kif 4846-4846 | |
| (format ChineseTraditionalLanguage typicalAction "%1 是 %2 的 typical action ") | domainEnglishFormat.kif 4847-4847 | |
| (format ChineseLanguage typicalAction "%1 是 %2 的 typical action ") | domainEnglishFormat.kif 4848-4848 | |
| (termFormat EnglishLanguage typicalAction "typical action") | domainEnglishFormat.kif 65999-65999 |
| antecedent |
|
|
| (=> (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 |
| (=> (typicalAction ?PROCESS ?AGENT) (exists (?P ?A) (and (instance ?P ?PROCESS) (instance ?A ?AGENT) (agent ?P ?A)))) |
Mid-level-ontology.kif 25142-25148 | If X is a typical action of a Y, then there exist Z, W such that Z is an instance of X, W is an instance of Y, and W is an agent of Z |
| (=> (and (typicalAction ?PROCESS ?AGENT) (instance ?A ?AGENT) (equal ?PPROB (ProbabilityFn (exists (?X) (and (instance ?X ?PROCESS) (agent ?X ?A))))) (equal ?NOTPPROB (ProbabilityFn (not (exists (?Y) (and (instance ?Y ?PROCESS) (agent ?Y ?A))))))) (greaterThan ?PPROB ?NOTPPROB)) |
Mid-level-ontology.kif 25150-25167 | If X is a typical action of a Y, Z is an instance of Y, equal W, the probability of there exists V such that V is an instance of X, and Z is an agent of V, and equal U, the probability of there doesn't exist T such that T is an instance of X, and Z is an agent of T, then W is greater than U |
| consequent |
|
|
| (=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O)))) |
Mid-level-ontology.kif 24532-24536 | If X is an instance of occupational role, then there exists Y such that Y is a typical action of a the attr of cognitive agent and X |
| (=> (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 |
|