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 构成。") chinese_format.kif 2209-2211
(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 4671-4674
(documentation uses JapaneseLanguage "(uses ?OBJECT AGENT) とは、?OBJECTが ?AGENT によっ て不特定の Process の計測器として使用される、という意味である。 この Predicate は、その対応す る公理が示すように、 CaseRoles agent および instrument の組成物である。") japanese_format.kif 873-875
(domain uses 1 Object) Merge.kif 4668-4668 uses の数値 1 引数は オブジェクトinstance では %n
(domain uses 2 AutonomousAgent) Merge.kif 4669-4669 uses の数値 2 引数は AutonomousAgentinstance では %n
(instance uses AsymmetricRelation) Merge.kif 4667-4667 uses非対称関係instance では %n
(instance uses BinaryPredicate) Merge.kif 4666-4666 uses2進述語instance では %n

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 248-248
(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 JapaneseLanguage uses "%2 は %1 を use%p{s} %n{ない}") japanese_format.kif 1972-1972
(format PortugueseLanguage uses "%2 %n{nao} usa %n %1") portuguese_format.kif 92-92
(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 ro uses "%2 %n{nu} use%t{foloseºte} %1") relations-ro.kif 159-159
(format sv uses "%2 använder %n{inte} %1") relations-sv.txt 145-145
(format tg uses "%2 ay gamitin %1") relations-tg.txt 500-500
(termFormat ChineseLanguage uses "使用") domainEnglishFormat.kif 60860-60860
(termFormat ChineseLanguage uses "用") chinese_format.kif 248-248
(termFormat ChineseTraditionalLanguage uses "使用") domainEnglishFormat.kif 60859-60859
(termFormat EnglishLanguage uses "uses") domainEnglishFormat.kif 60858-60858
(termFormat de uses "verwendet") terms-de.txt 102-102

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 ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 841-862
(=>
    (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 ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 546-561
(=>
    (and
        (instance ?KL KnockLight)
        (instance ?A Human)
        (attribute ?A Deaf)
        (uses ?KL ?A))
    (hasPurpose ?KL
        (exists (?KNOCK ?DOOR)
            (and
                (instance ?KNOCK Impacting)
                (patient ?KNOCK ?DOOR)
                (instance ?DOOR Door)
                (knows ?A ?KNOCK)))))
Mid-level-ontology.kif 25840-25852
(=>
    (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 ?X ?CUST))))
    (exists (?PRICE ?U)
        (and
            (price ?X
                (MeasureFn ?PRICE ?U) ?AGENT)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 871-897
(=>
    (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 ?X ?CUST))))
    (exists (?PRICE ?U)
        (and
            (price ?X
                (MeasureFn ?PRICE ?U) ?AGENT)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 569-589
(=>
    (uses ?OBJ ?AGENT)
    (exists (?PROC)
        (and
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?OBJ))))
Merge.kif 4676-4681

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


(=>
    (and
        (facility ?AGENT ?OBJ)
        (customer ?CUST ?AGENT)
        (instance ?X ?OBJ)
        (desires ?CUST
            (exists (?PROC)
                (and
                    (instance ?PROC IntentionalProcess)
                    (patient ?PROC ?X)
                    (agent ?PROC ?CUST)))))
    (modalAttribute
        (confersRight
            (uses ?X ?CUST) ?AGENT ?CUST) Possibility))
Dining.kif 336-350
(=>
    (and
        (instance ?R Renting)
        (agent ?R ?A)
        (patient ?R ?O))
    (holdsDuring
        (WhenFn ?R)
        (modalAttribute
            (uses ?O ?A) Permission)))
Mid-level-ontology.kif 22426-22433
(=>
    (and
        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Resource ?Agent))
QoSontology.kif 1966-1971
(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?Computer ?User))))
QoSontology.kif 1723-1728
(=>
    (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 998-1006
(=>
    (instance ?A MilitaryArtifact)
    (hasPurpose ?A
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?A ?O)))))
Mid-level-ontology.kif 17833-17839
(=>
    (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 4253-4255


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