Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - uses
uses

appearance as argument number 1
-------------------------


(documentation uses ChineseLanguage "(uses ?OBJECT AGENT) 的意思是 ?AGENT 在一个没有指定的 Process 所用的工具是 ?OBJECT,这个 Predicate 就如它的定义所说的,由CaseRoleagentinstrument 构成。") Merge.kif 4785-4787
(documentation uses EnglishLanguage "(uses ?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified Process. This Predicate, as its corresponding axiom indicates, is a composition of the CaseRoles agent and instrument.") Merge.kif 4781-4784
(domain uses 1 Object) Merge.kif 4779-4779
(domain uses 2 Agent) Merge.kif 4780-4780
(instance uses AsymmetricRelation) Merge.kif 4778-4778
(instance uses BinaryPredicate) Merge.kif 4777-4777

appearance as argument number 2
-------------------------


(format ChineseLanguage uses "%2 %n{doesn't} uses %1") chinese_format.kif 247-247
(format EnglishLanguage uses "%2 %n{doesn't} use%p{s} %1") english_format.kif 150-150
(format FrenchLanguage uses "%2 %n{n'} utilise %n{pas} %1") french_format.kif 140-140
(format ItalianLanguage uses "%2 usa %1") relations-it.txt 308-308
(format PortugueseLanguage uses "%2 %n{nao} usa %n %1") portuguese_format.kif 92-92
(format ar uses "%2 %n{لا} يَسْتَخْدِم %1") arabic_format.kif 90-90
(format de uses "%2 verwendet %1") relations-de.txt 317-317
(format hi uses "%2 %1 kaa upayoga karataa hai") relations-hindi.txt 344-344
(format tg uses "%2 ay gamitin %1") relations-tg.txt 500-500
(termFormat ChineseLanguage uses "用") chinese_format.kif 248-248
(termFormat EnglishLanguage uses "uses") domainEnglishFormat.kif 10572-10572
(termFormat ar uses "«يَسْتَخْدِم»") arabic_format.kif 540-540

antecedent
-------------------------


(=>
    (and
        (freeFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 810-831
(=>
    (and
        (freePropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 518-533
(=>
    (and
        (paidFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))
Hotel.kif 840-863
(=>
    (and
        (paidPropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))
Hotel.kif 541-558
(=>
    (uses ?OBJ ?AGENT)
    (exists (?PROC)
        (and
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?OBJ))))
Merge.kif 4789-4794

consequent
-------------------------


(=>
    (and
        (facility ?AGENT ?OBJ)
        (customer ?CUST ?AGENT)
        (instance ?X ?OBJ)
        (exists (?PROC)
            (and
                (instance ?PROC IntentionalProcess)
                (patient ?PROC ?X)
                (agent ?PROC ?CUST))))
    (confersRight
        (uses ?CUST ?X) ?AGENT ?CUST))
Dining.kif 339-350
(=>
    (and
        (instance ?R Renting)
        (agent ?R ?A)
        (patient ?R ?O))
    (holdsDuring
        (WhenFn ?R)
        (modalAttribute
            (uses ?A ?O) Permission)))
Mid-level-ontology.kif 19902-19909
(=>
    (and
        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Agent ?Resource))
QoSontology.kif 1955-1960
(=>
    (dateUsed ?OBJECT ?DATE ?AGENT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (patient ?PROCESS ?OBJECT)
            (agent ?PROCESS ?AGENT)
            (uses ?OBJECT ?AGENT)
            (overlapsTemporally ?DATE
                (WhenFn ?PROCESS)))))
Mid-level-ontology.kif 1384-1392
(=>
    (instance ?A MilitaryArtifact)
    (hasPurpose ?A
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?A ?O)))))
Mid-level-ontology.kif 15148-15154
(=>
    (instance ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?User ?Computer))))
QoSontology.kif 1719-1724
(=>
    (instance ?V MilitaryVehicle)
    (hasPurpose ?V
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?V ?O)))))
Military.kif 137-143
(=>
    (possesses ?PERSON ?OBJ)
    (modalAttribute
        (uses ?OBJ ?PERSON) Permission))
Merge.kif 4352-4354


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners