Hotline - Sigma Knowledge base Browser

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 26206-26209
(subclass Hotline TelecomNumber)	Mid-level-ontology.kif 26205-26205	Hotline is a subclass of telecom number

appearance as argument number 2

(termFormat EnglishLanguage Hotline "hotline")

Mid-level-ontology.kif 26210-26210

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 26212-26233

If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization,
then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: