International - Sigma Knowledge base Browser

appearance as argument number 1

(documentation International EnglishLanguage "International refers to something outside of the country")	Mid-level-ontology.kif 29039-29040
(instance International RelationalAttribute)	Mid-level-ontology.kif 29038-29038	International is an instance of relational attribute

appearance as argument number 2

(contraryAttribute Domestic International)	Mid-level-ontology.kif 29023-29023	Domestic is the opposite of international
(relatedInternalConcept Domestic International)	Mid-level-ontology.kif 29024-29024	Domestic is internally related to international
(termFormat EnglishLanguage International "international")	Mid-level-ontology.kif 29041-29041	Domestic is internally related to international

antecedent

(=>
    (and
        (instance ?X TelephoneCommunication)
        (attribute ?X International))
    (exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2)
        (and
            (origin ?X ?ORIGIN)
            (destination ?X ?DEST)
            (located ?ORIGIN ?CTRY1)
            (located ?DEST ?CTRY2)
            (instance ?CTRY1 Nation)
            (instance ?CTRY2 Nation)
            (not
                (equal ?CTRY1 ?CTRY2)))))

Mid-level-ontology.kif 29043-29055

If an object is an instance of telephone communication and international is an attribute of the object,
then there exist another object, a physical,, , a third object and a fourth object such that the object originates at the other object and the object ends up at the physical and the other object is located at the third object and the physical is located at the fourth object and the third object is an instance of nation and the fourth object is an instance of nation and equal the third object and the fourth object

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: