lacks |
appearance as argument number 1 |
(documentation lacks EnglishLanguage "(lacks ?AGENT ?OBJECT) means that ?AGENT needs ?OBJECT and it is not currently the case that ?AGENT possesses ?OBJECT.") | Mid-level-ontology.kif 7477-7478 | |
(instance lacks BinaryPredicate) | Mid-level-ontology.kif 7476-7476 | lacks is an instance of binary predicate |
(subrelation lacks needs) | Mid-level-ontology.kif 7475-7475 | lacks is a subrelation of needs |
appearance as argument number 2 |
(format ChineseLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3722-3722 | |
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3721-3721 | |
(format EnglishLanguage lacks "%1 lacks %2") | domainEnglishFormat.kif 3720-3720 | |
(termFormat ChineseLanguage lacks "缺乏") | domainEnglishFormat.kif 33061-33061 | |
(termFormat ChineseTraditionalLanguage lacks "缺乏") | domainEnglishFormat.kif 33060-33060 | |
(termFormat EnglishLanguage lacks "lacks") | domainEnglishFormat.kif 33059-33059 |
antecedent |
(=> (holdsDuring ?TIME (lacks ?AGENT ?OBJECT)) (holdsDuring ?TIME (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 7480-7485 |
|
consequent |
(=> (attribute ?H DiabetesType1) (exists (?I) (and (instance ?I Insulin) (lacks ?H ?I)))) |
Medicine.kif 2156-2161 |
|