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 就如它的定义所说的，由CaseRole、agent 和 instrument 构成。") 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 4699-4702
(documentation uses JapaneseLanguage "(uses ?OBJECT AGENT) とは、?OBJECTが　?AGENT によっ て不特定の Process の計測器として使用される、という意味である。 この Predicate は、その対応す る公理が示すように、 CaseRoles agent および instrument の組成物である。") japanese_format.kif 873-875
(domain uses 1 Object) Merge.kif 4696-4696 uses の数値 1 引数は オブジェクト の instance では
(domain uses 2 AutonomousAgent) Merge.kif 4697-4697 uses の数値 2 引数は AutonomousAgent の instance では
(instance uses AsymmetricRelation) Merge.kif 4695-4695 uses は 非対称関係 の instance では
(instance uses BinaryPredicate) Merge.kif 4694-4694 uses は 2進述語 の instance では

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 60854-60854
(termFormat ChineseLanguage uses "用") chinese_format.kif 248-248
(termFormat ChineseTraditionalLanguage uses "使用") domainEnglishFormat.kif 60853-60853
(termFormat EnglishLanguage uses "uses") domainEnglishFormat.kif 60852-60852
(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 847-868
(=>
    (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 548-563
(=>
    (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 27738-27750
(=>
    (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 879-905
(=>
    (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 573-593
(=>
    (uses ?OBJ ?AGENT)
    (exists (?PROC)
        (and
            (agent ?PROC ?AGENT)
            (instrument ?PROC ?OBJ))))		 Merge.kif 4704-4709

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 24067-24074
(=>
    (and
        (instance ?Using UsingAResource)
        (resourceUsed ?Using ?Resource)
        (agent ?Using ?Agent))
    (uses ?Resource ?Agent))		 QoSontology.kif 2097-2102
(=>
    (attribute ?User ComputerUser)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (uses ?Computer ?User))))		 QoSontology.kif 1854-1859
(=>
    (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 991-999
(=>
    (instance ?A MilitaryArtifact)
    (hasPurpose ?A
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?A ?O)))))		 Mid-level-ontology.kif 19384-19390
(=>
    (instance ?V MilitaryVehicle)
    (hasPurpose ?V
        (exists (?O)
            (and
                (instance ?O MilitaryOrganization)
                (uses ?V ?O)))))		 Military.kif 147-153
(=>
    (possesses ?PERSON ?OBJ)
    (modalAttribute
        (uses ?OBJ ?PERSON) Permission))		 Merge.kif 4281-4283


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