Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Hotline
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Hotline TelecomNumber) | Mid-level-ontology.kif 27406-27406 | Hotline is a subclass of telecom number |
| (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 27407-27410 | Hotline is a subclass of telecom number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Hotline "hotline") | Mid-level-ontology.kif 27411-27411 |
| 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 27413-27434 | If X is an instance of hotline, X is the telephone number of Y, and Y is an instance of organization, then X has the purpose there exists Z such that Z is an instance of telephoning, Z ends up at Y, the statement there exists W such that W is an instance of communication, X is an instrument for W, equal the beginning of the time of existence of W, and the beginning of immediately after the time of existence of Z has the modal force of likely |
|