Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| needs |
| appearance as argument number 1 |
|
| (instance needs ObjectAttitude) | Merge.kif 2857-2857 | needs is an instance of object attitude |
| (instance needs BinaryPredicate) | Merge.kif 2858-2858 | needs is an instance of binary predicate |
| (subrelation needs inScopeOfInterest) | Merge.kif 2859-2859 | needs is a subrelation of in scope of interest |
| (domain needs 1 CognitiveAgent) | Merge.kif 2860-2860 | The number 1 argument of needs is an instance of cognitive agent |
| (domain needs 2 Physical) | Merge.kif 2861-2861 | The number 2 argument of needs is an instance of physical |
| (documentation needs EnglishLanguage "(needs ?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT.") | Merge.kif 2863-2864 | The number 2 argument of needs is an instance of physical |
| appearance as argument number 2 |
|
|
| (subrelation lacks needs) | Mid-level-ontology.kif 8768-8768 | lacks is a subrelation of needs |
| (termFormat EnglishLanguage needs "needs") | domainEnglishFormat.kif 40087-40087 | lacks is a subrelation of needs |
| (termFormat ChineseTraditionalLanguage needs "需求") | domainEnglishFormat.kif 40088-40088 | lacks is a subrelation of needs |
| (termFormat ChineseLanguage needs "需求") | domainEnglishFormat.kif 40089-40089 | lacks is a subrelation of needs |
| (format EnglishLanguage needs "%1 %n{doesn't} need%p{s} %2") | english_format.kif 158-158 | lacks is a subrelation of needs |
| antecedent |
|
|
| (=> (needs ?AGENT ?OBJECT) (wants ?AGENT ?OBJECT)) |
Merge.kif 2866-2868 | If X needs Y, then X wants Y |
| consequent |
|
|
| (=> (holdsDuring ?T (and (attribute ?H SleepApnea) (attribute ?H Sleeping))) (exists (?T2 ?B ?B2) (and (during ?T2 ?T) (not (exists (?B) (and (instance ?B Breathing) (during (WhenFn ?B) ?T2) (experiencer ?B ?H)))) (holdsDuring ?T2 (and (instance ?B2 Breathing) (needs ?H ?B2)))))) |
Medicine.kif 4198-4215 | If sleep apnea is an attribute of X and sleeping is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z takes place during Y (3) there doesn't exist W such that W is an instance of breathing (4) the time of existence of W takes place during Z (5) X experiences W (6) V is an instance of breathing (7) X needs V holds during Z |
| (=> (instance ?OT OrganTransplant) (exists (?H ?O) (and (instance ?H Animal) (instance ?O Organ) (needs ?H ?O)))) |
Medicine.kif 4655-4661 | If X is an instance of transplant, then there exist Y, Z such that Y is an instance of animal, Z is an instance of organ, and Y needs Z |
| (=> (attribute ?H Anorexia) (exists (?E) (and (instance ?E Eating) (agent ?E ?H) (needs ?H ?E) (not (wants ?H ?E))))) |
Medicine.kif 5058-5066 | If anorexia nervosa is an attribute of X, then there exists Y such that Y is an instance of eating, X is an agent of Y, X needs Y, and X doesn't want Y |
|