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 26740-26743
(subclass Hotline TelecomNumber)	Mid-level-ontology.kif 26739-26739	Hotline is a subclass of TelecomNumber

appearance as argument number 2

(termFormat EnglishLanguage Hotline "hotline")

Mid-level-ontology.kif 26744-26744

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 26746-26767

If a TelecomNumber is an instance of Hotline and telephoneNumber the TelecomNumber and an agent and the agent is an instance of organization,
then the TelecomNumber 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 TelecomNumber is an instrument for the other entity and equal the beginning of the time of existence of the other entity and 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: