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 8617-8618 | |
(domain lacks 1 CognitiveAgent) | Mid-level-ontology.kif 8614-8614 | |
(domain lacks 2 Physical) | Mid-level-ontology.kif 8615-8615 | |
(instance lacks BinaryPredicate) | Mid-level-ontology.kif 8616-8616 | |
(subrelation lacks needs) | Mid-level-ontology.kif 8613-8613 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3720-3720 | |
(format ChineseTraditionalLanguage lacks "%1 lacks %2 ") | domainEnglishFormat.kif 3719-3719 | |
(format EnglishLanguage lacks "%1 lacks %2") | domainEnglishFormat.kif 3718-3718 | |
(termFormat ChineseLanguage lacks "缺乏") | domainEnglishFormat.kif 33072-33072 | |
(termFormat ChineseTraditionalLanguage lacks "缺乏") | domainEnglishFormat.kif 33071-33071 | |
(termFormat EnglishLanguage lacks "lacks") | domainEnglishFormat.kif 33070-33070 |
antecedent |
![]() |
(=> (holdsDuring ?TIME (lacks ?AGENT ?OBJECT)) (holdsDuring ?TIME (not (possesses ?AGENT ?OBJECT)))) |
Mid-level-ontology.kif 8620-8625 |
consequent |
![]() |
(=> (attribute ?H DiabetesType1) (exists (?I) (and (instance ?I Insulin) (lacks ?H ?I)))) |
Medicine.kif 2153-2158 |
![]() |
![]() |