Hotline |
appearance as argument number 1 |
(documentation Hotline EnglishLanguage "A TelecomNumber that has some degree of priority over other numbers for an organization. It can be a government phone that when picked up connects directly to some other top level of a Government or it could be simply a regular phone number that connects to some special customer service center at an Organization.") | Mid-level-ontology.kif 25144-25147 | |
(subclass Hotline TelecomNumber) | Mid-level-ontology.kif 25143-25143 | Hotline e' uma sub-classe de TelecomNumber |
appearance as argument number 2 |
(termFormat EnglishLanguage Hotline "hotline") | Mid-level-ontology.kif 25148-25148 |
antecedent |
(=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely))))) |
Mid-level-ontology.kif 25150-25171 |
|