refers

-------------------------


(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?INVOICE)
            (buys ?BUYER ?SELLER ?ENT)
            (confersRight
                (exists (?SELLING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?INVOICE))
                            (BeginFn
                                (WhenFn ?SELLING)))
                        (instance ?SELLING Selling)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?SELLING ?PRODUCT)
                        (refers ?INVOICE ?PRODUCT)
                        (agent ?SELLING ?SELLER)
                        (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))		 Mid-level-ontology.kif 29856-29876
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))		 Mid-level-ontology.kif 14476-14482
(=>
    (instance ?ORDER OperationOrder)
    (exists (?PLAN ?PLANNING)
        (and
            (instance ?PLAN OPLAN)
            (instance ?PLANNING OperationPlanning)
            (result ?PLANNING ?PLAN)
            (causes ?PLANNING ?ORDER)
            (refers ?PLAN ?ORDER))))		 MilitaryProcesses.kif 1686-1694
(=>
    (instance ?P Pleading)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?P ?C))))		 Mid-level-ontology.kif 16134-16139
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))		 Mid-level-ontology.kif 9270-9275
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?PRODUCT)
            (confersObligation
                (exists (?BUYING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?PO))
                            (BeginFn
                                (WhenFn ?BUYING)))
                        (instance ?BUYING Buying)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?BUYING ?PRODUCT)
                        (refers ?PO ?PRODUCT)
                        (agent ?BUYING ?BUYER)
                        (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))		 Mid-level-ontology.kif 29883-29903
(=>
    (instance ?PS PayStub)
    (exists (?FT ?O ?E)
        (and
            (instance ?FT FinancialTransaction)
            (origin ?FT ?O)
            (destination ?FT ?E)
            (refers ?PS ?FT))))		 Medicine.kif 3386-3393
(=>
    (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
    (exists (?WEAPON)
        (and
            (instance ?WEAPON WeaponOfMassDestruction)
            (refers ?RESEARCH ?WEAPON))))		 WMD.kif 724-729
(=>
    (instance ?S MysteryStory)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?S ?C))))		 Mid-level-ontology.kif 14937-14942
(=>
    (instance ?T Testament)
    (exists (?B)
        (and
            (instance ?B Bequeathing)
            (refers ?T ?B))))		 Mid-level-ontology.kif 16594-16599
(=>
    (instance ?URI UniformResourceIdentifier)
    (exists (?Resource)
        (and
            (instance ?Resource DigitalData)
            (refers ?URI ?Resource))))		 QoSontology.kif 1681-1686
(=>
    (instance ?VC VaccinationCard)
    (exists (?V)
        (and
            (instance ?V Vaccination)
            (refers ?VC ?V))))		 Medicine.kif 3109-3114
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))		 UXExperimentalTerms.kif 2204-2213
(=>
    (instance ?X DiningGuide)
    (exists (?LOC ?REST)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC)
            (instance ?REST Restaurant)
            (located ?REST ?LOC)
            (refers ?X ?REST))))		 Mid-level-ontology.kif 26415-26423
(=>
    (instance ?X GuideBook)
    (exists (?LOC)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC))))		 Mid-level-ontology.kif 26403-26408
(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))		 Mid-level-ontology.kif 21316-21321
(=>
    (musicGenre ?MR ChristianMusic)
    (exists (?X)
        (and
            (attribute ?X Christian)
            (refers ?MR ?X))))		 Music.kif 647-652
(=>
    (musicGenre ?MR ReligiousMusic)
    (exists (?ATTR ?X)
        (and
            (instance ?ATTR ReligiousAttribute)
            (attribute ?X ?ATTR)
            (refers ?MR ?X))))		 Music.kif 633-639
(=>
    (visitorParameter ?VISITOR ?FORMULA ?SITE)
    (refers ?FORMULA ?USER))		 UXExperimentalTerms.kif 1175-1177
(=>
    (webStoreAdvertisement ?ADVERT ?STORE)
    (exists (?ITEM ?PAGE)
        (and
            (refers ?ADVERT ?ITEM)
            (component ?ADVERT ?PAGE)
            (instance ?PAGE WebPage)
            (member ?PAGE ?STORE))))		 UXExperimentalTerms.kif 434-441


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