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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - possesses
possesses

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


(documentation possesses ChineseLanguage "这是一个属于一个 Agent 和一个 ObjectRelation,当这个 Agent 拥有这个 Object 时,这段关系就成立了。 ") chinese_format.kif 2133-2134
(documentation possesses EnglishLanguage "Relation that holds between an Agent and an Object when the Agent has ownership of the Object. Note that this is distinct from having the right to use or be located at a particular object, for example, by Renting.") Merge.kif 4093-4096
(domain possesses 1 Agent) Merge.kif 4090-4090 domain possesses, 1 and Agent
(domain possesses 2 Object) Merge.kif 4091-4091 domain possesses, 2 and Object
(instance possesses AsymmetricRelation) Merge.kif 4089-4089 instance possesses and AsymmetricRelation
(instance possesses BinaryPredicate) Merge.kif 4088-4088 instance possesses and BinaryPredicate

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


(format ChineseLanguage possesses "%1 %n{doesn't} possesses %2") chinese_format.kif 171-171
(format EnglishLanguage possesses "%1 %n{doesn't} possess%p{es} %2") english_format.kif 175-175
(relatedInternalConcept ChangeOfPossession possesses) Merge.kif 10882-10882 relatedInternalConcept ChangeOfPossession and possesses
(subrelation financialAsset possesses) Mid-level-ontology.kif 21818-21818 subrelation financialAsset and possesses
(subrelation hasAccount possesses) QoSontology.kif 2074-2074 subrelation hasAccount and possesses
(termFormat ChineseLanguage possesses "") chinese_format.kif 172-172
(termFormat ChineseLanguage possesses "拥有") domainEnglishFormat.kif 46730-46730
(termFormat ChineseTraditionalLanguage possesses "擁有") domainEnglishFormat.kif 46729-46729
(termFormat EnglishLanguage possesses "possesses") domainEnglishFormat.kif 46728-46728

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


(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2251-2256 instance FinancialAccount and FinancialAccount possesses CognitiveAgent and FinancialAsset equal FinancialAccount and AccountFn FinancialAsset accountHolder FinancialAccount and CognitiveAgent
(=>
    (and
        (customer ?CUST ?AGENT)
        (employs ?AGENT ?X)
        (attribute ?AGENT TravelerAccommodation)
        (attribute ?X Porter)
        (possesses ?CUST ?LUGGAGE)
        (instance ?LUGGAGE TravelContainer))
    (exists (?ROOM ?CARRY)
        (and
            (instance ?ROOM HotelUnit)
            (instance ?CARRY Carrying)
            (agent ?CARRY ?X)
            (or
                (destination ?CARRY ?ROOM)
                (origin ?CARRY ?ROOM)))))
Hotel.kif 2338-2353
(=>
    (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 814-835
(=>
    (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 522-537
(=>
    (and
        (hasAccount ?U ?AC)
        (password ?P ?AC)
        (deviceAccount ?AC ?D)
        (not
            (knows ?U
                (password ?P ?AC)))
        (knows ?U
            (recoveryKey ?S ?AC))
        (possesses ?U ?D))
    (modalAttribute
        (exists (?C)
            (and
                (instance ?C ChangingPassword)
                (patient ?C ?AC)
                (agent ?C ?U))) Possibility))
ComputingBrands.kif 4347-4364
(=>
    (and
        (holdsDuring ?T
            (possesses ?PERSON ?OBJ))
        (part ?P ?OBJ))
    (holdsDuring ?T
        (possesses ?PERSON ?P)))
Merge.kif 4102-4108
(=>
    (and
        (instance ?AOC AOCnumber)
        (instance ?AIRLINE Airline)
        (possesses ?AIRLINE ?AOC))
    (confersRight
        (exists (?AIR)
            (and
                (instance ?AIR AirTransportationService)
                (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))
Transportation.kif 3166-3176
(=>
    (and
        (instance ?Bond Bond)
        (couponInterest ?Bond ?Interest)
        (possesses ?BondHolder ?Bond))
    (exists (?Period ?Payment)
        (and
            (periodicPayment
                (AccountFn ?Bond) ?Interest ?Period)
            (destination ?Payment ?BondHolder))))
FinancialOntology.kif 2200-2208
(=>
    (and
        (instance ?Bond SecuredBond)
        (securedBy ?Bond ?Security)
        (possesses ?Agent ?Bond)
        (instance ?Default FinancialDefault)
        (patient ?Default ?Bond))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Default))
        (possesses ?Agent ?Security)))
FinancialOntology.kif 2319-2328
(=>
    (and
        (instance ?Bond ZeroCouponBond)
        (maturityDate
            (AccountFn ?Bond) ?Date)
        (possesses ?BondHolder ?Bond)
        (principalAmount
            (AccountFn ?Bond) ?Principal)
        (agreementPeriod
            (AccountFn ?Bond) ?Period)
        (interestEarned
            (AccountFn ?Bond) ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (exists (?Payment)
        (and
            (instance ?Payment Payment)
            (destination ?Payment ?BondHolder)
            (origin ?Payment
                (AccountFn ?Bond))
            (transactionAmount ?Payment ?Total))))
FinancialOntology.kif 2263-2277
(=>
    (and
        (instance ?C FamilyBusiness)
        (possesses ?P1 ?C)
        (possesses ?P2 ?C))
    (familyRelation ?P1 ?P2))
Mid-level-ontology.kif 6914-6919
(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (patient ?CHANGE ?OBJ)
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ)))
    (not
        (equal ?AGENT1 ?AGENT2)))
Merge.kif 10887-10894
(=>
    (and
        (instance ?Card CreditCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account CreditCardAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))
FinancialOntology.kif 218-226
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card)
        (instance ?Transaction FinancialTransaction)
        (instrument ?Transaction ?Card))
    (exists (?PIN ?Enter)
        (and
            (pin ?PIN ?Card)
            (instance ?Enter EnteringAPin)
            (patient ?Enter ?PIN)
            (agent ?Enter ?Agent))))
FinancialOntology.kif 3441-3452
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card))
    (exists (?Account)
        (and
            (instance ?Account DepositAccount)
            (cardAccount ?Card ?Account)
            (accountHolder ?Account ?Agent))))
FinancialOntology.kif 203-211
(=>
    (and
        (instance ?DEGREE AcademicDegree)
        (possesses ?AGENT ?DEGREE))
    (exists (?PROGRAM ?STUDY)
        (and
            (instance ?PROGRAM EducationalProgram)
            (realization ?STUDY ?PROGRAM)
            (experiencer ?STUDY ?AGENT))))
Mid-level-ontology.kif 14131-14139
(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 23090-23097
(=>
    (and
        (instance ?DEVICE Telephone)
        (holdsDuring ?TIME
            (and
                (possesses ?AGENT ?DEVICE)
                (deviceTelecomNumber ?NUMBER ?DEVICE))))
    (holdsDuring ?TIME
        (telephoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 22970-22977
(=>
    (and
        (instance ?FLEET Fleet)
        (fleetSize ?AGENT ?NUM)
        (possesses ?AGENT ?FLEET))
    (memberCount ?FLEET ?NUM))
Mid-level-ontology.kif 4067-4072
(=>
    (and
        (instance ?INTERNAL InternalShipRegister)
        (possesses ?AREA ?INTERNAL))
    (instance ?AREA Nation))
Transportation.kif 1165-1169
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (instance ?OWNER Agent)
        (attribute ?LISTING ForSaleByOwner)
        (possesses ?OWNER ?ITEM))
    (instance ?OWNER Human))
UXExperimentalTerms.kif 471-478
(=>
    (and
        (instance ?L DriversLicense)
        (possesses ?A ?L))
    (confersNorm ?L
        (exists (?D ?V)
            (and
                (instance ?D Driving)
                (agent ?D ?A)
                (patient ?D ?V)
                (instance ?V RoadVehicle))) Permission))
Mid-level-ontology.kif 14465-14476
(=>
    (and
        (instance ?NATIONAL NationalShipRegister)
        (possesses ?AREA ?NATIONAL))
    (instance ?AREA Nation))
Transportation.kif 1115-1119
(=>
    (and
        (instance ?OFFSHORE OffshoreShipRegister)
        (possesses ?AREA ?OFFSHORE))
    (instance ?AREA Nation))
Transportation.kif 1181-1185
(=>
    (and
        (instance ?P PassCertificate)
        (possesses ?A ?P))
    (exists (?L)
        (confersNorm ?P
            (located ?A ?L) Permission)))
Mid-level-ontology.kif 14210-14217

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (instance ?OBJ
        (PropertyFn ?PERSON))
    (possesses ?PERSON ?OBJ))
Merge.kif 4125-4127 instance Object and PropertyFn Agent possesses Agent and Object
(=>
    (accountAtSite ?ACCT ?SITE)
    (exists (?DATABASE ?SITE_OWNER)
        (and
            (instance ?DATABASE Database)
            (instance ?SITE_OWNER Agent)
            (possesses ?SITE ?SITE_OWNER)
            (possesses ?DATABASE ?SITE_OWNER)
            (part ?ACCT ?DATABASE))))
UXExperimentalTerms.kif 782-790
(=>
    (and
        (attribute ?C Collectible)
        (hasPurpose ?C ?P))
    (exists (?H)
        (and
            (instance ?H Human)
            (wants ?H ?C)
            (desires ?H ?P2)
            (entails ?P2
                (possesses ?H ?C))
            (not
                (equal ?P ?P2)))))
Mid-level-ontology.kif 27715-27727
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (and
        (possesses ?REST ?KITCHEN)
        (instance ?KITCHEN KitchenArea)
        (instance ?DINING DiningArea)
        (located ?TABLE ?DINING)
        (hasPurpose ?X
            (and
                (instance ?C Carrying)
                (agent ?C ?X)
                (origin ?C ?KITCHEN)
                (destination ?C ?TABLE)
                (patient ?C ?FOOD)
                (instance ?FOOD
                    (FoodForFn Human))))))
Mid-level-ontology.kif 18291-18312
(=>
    (and
        (dayPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (lessThan ?Number 18))))
FinancialOntology.kif 3590-3598
(=>
    (and
        (eveningPhone ?Number ?Agent)
        (instance ?Day Day))
    (exists (?Phone)
        (and
            (phoneNumber ?Number ?Phone)
            (holdsDuring
                (HourFn ?Number ?Day)
                (possesses ?Agent ?Phone))
            (greaterThan ?Number 18))))
FinancialOntology.kif 3607-3615
(=>
    (and
        (holdsDuring ?T
            (possesses ?PERSON ?OBJ))
        (part ?P ?OBJ))
    (holdsDuring ?T
        (possesses ?PERSON ?P)))
Merge.kif 4102-4108
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MerchantMarineFn ?AREA) MerchantMarine))
    (possesses ?AREA
        (MerchantMarineFn ?AREA)))
Transportation.kif 967-971
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ShipRegisterFn ?AREA) ShipRegister))
    (possesses ?AREA
        (ShipRegisterFn ?AREA)))
Transportation.kif 1128-1132
(=>
    (and
        (instance ?B Bequeathing)
        (agent ?B ?P)
        (destination ?B ?H)
        (objectTransferred ?B ?PROP))
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (earlier
                (WhenFn ?D)
                (WhenFn ?B))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (possesses ?P ?PROP))
            (confersNorm ?P
                (possesses ?H ?PROP) Permission))))
Mid-level-ontology.kif 16379-16395
(=>
    (and
        (instance ?Bond SecuredBond)
        (securedBy ?Bond ?Security)
        (possesses ?Agent ?Bond)
        (instance ?Default FinancialDefault)
        (patient ?Default ?Bond))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Default))
        (possesses ?Agent ?Security)))
FinancialOntology.kif 2319-2328
(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (origin ?CHANGE ?AGENT1)
        (destination ?CHANGE ?AGENT2)
        (instance ?AGENT1 Agent)
        (instance ?AGENT2 Agent)
        (patient ?CHANGE ?OBJ))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ))))
Merge.kif 10896-10906
(=>
    (and
        (instance ?DESTR PreciseDestruction)
        (agent ?DESTR ?AGENT))
    (exists (?WEAPON)
        (and
            (possesses ?AGENT ?WEAPON)
            (instrument ?DESTR ?WEAPON)
            (instance ?WEAPON HighPrecisionWeapon))))
MilitaryProcesses.kif 601-609
(=>
    (and
        (instance ?INHERIT Inheriting)
        (agent ?INHERIT ?HEIR)
        (origin ?INHERIT ?PERSON)
        (patient ?INHERIT ?PROPERTY))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?PERSON)
            (earlier
                (WhenFn ?DEATH)
                (WhenFn ?INHERIT))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?DEATH))
                (possesses ?PERSON ?PROPERTY))
            (confersRight
                (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 16324-16342
(=>
    (and
        (instance ?Loan Loan)
        (securedBy ?Loan ?Security)
        (lender ?Loan ?Bank)
        (instance ?Default FinancialDefault)
        (patient ?Default ?Loan))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Default))
        (possesses ?Bank ?Security)))
FinancialOntology.kif 1275-1284
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AirTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?FLY ?PLANE)
                            (and
                                (instance ?FLY Transportation)
                                (or
                                    (patient ?FLY ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?FLY ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?PLANE)
                                (instance ?PLANE Aircraft))) ?MEM ?P))))))
naics.kif 7960-7985
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG CouriersAndMessengers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS)
                            (and
                                (instance ?TRANS Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8659-8679
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PipelineTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Substance)
                                (possesses ?ORG ?V)
                                (instrument ?T ?PIPE)
                                (instance ?PIPE Pipeline))) ?MEM ?P))))))
naics.kif 8388-8411
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PostalService))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS)
                            (and
                                (instance ?TRANS Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8630-8650
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG RailTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?MOVE ?RR)
                            (and
                                (instance ?MOVE Transportation)
                                (or
                                    (patient ?MOVE ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?MOVE ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?RR)
                                (instance ?RR RailVehicle))) ?MEM ?P))))))
naics.kif 8041-8066
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ScenicAndSightseeingTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS ?VEH)
                            (and
                                (instance ?TRANS Transportation)
                                (instance ?TRANS RecreationOrExercise)
                                (patient ?TRANS ?P)
                                (possesses ?ORG ?VEH)
                                (instance ?VEH Vehicle))) ?MEM ?P))))))
naics.kif 8451-8472
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TransitAndGroundPassengerTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (patient ?T ?P)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8267-8287
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TruckTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Object)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8176-8198
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WarehousingAndStorage))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?B ?T)
                            (and
                                (instance ?T TimeInterval)
                                (instance ?B Building)
                                (possesses ?P ?OBJ)
                                (holdsDuring ?T
                                    (located ?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8699-8720
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WaterTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (or
                                    (patient ?T ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?T ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?V)
                                (instance ?V WaterVehicle))) ?MEM ?P))))))
naics.kif 8087-8112

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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