hasPurpose
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
BarberShops
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Hair
Entidade
e' uma &parte de
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Cortar
Entidade
e' um
patient
de
Entidade
eventLocated
Entidade
and
Objeto
Entidade
e' um
agente
de
Entidade
Objeto
emprega
Entidade
(=>
(
attribute
?X
ChildrenSuite
)
(
hasPurpose
?X
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
stays
?CHILD ?X)))))
Hotel.kif 1029-1035
ChildrenSuite
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
HumanChild
stays
Entidade
and
Objeto
(=>
(
attribute
?X
Concierge
)
(
hasPurpose
?X
(
exists
(?HELP)
(
and
(
instance
?HELP
Helping
)
(
agent
?HELP ?X)))))
Hotel.kif 2415-2421
Concierge
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Helping
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?X
Doorman
)
(
hasPurpose
?X
(
exists
(?DOOR ?PROC)
(
and
(
instance
?DOOR
Door
)
(
agent
?PROC ?X)
(
patient
?PROC ?DOOR)
(
or
(
instance
?PROC
Opening
)
(
instance
?PROC
Closing
))))))
Hotel.kif 2428-2438
Doorman
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Door
Entidade
e' um
agente
de
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Opening
Entidade
e' uma
instancia
de
Closing
(=>
(
attribute
?X
ExclusiveFemaleLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
Female
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1243-1254
ExclusiveFemaleLevel
e' um
atributo
de
Objeto
Fisico
Fisico
e' uma
instancia
de
HotelRoom
Fisico
e'
situado
em
Objeto
Fisico
tem por
fim
Entidade
Female
e' um
atributo
de
Entidade
stays
Entidade
and
Fisico
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
ExecutiveLevel
e' um
atributo
de
Objeto
Fisico
Fisico
e' uma
instancia
de
HotelRoom
Fisico
e'
situado
em
Objeto
Fisico
tem por
fim
Entidade
BusinessExecutive
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Humano
stays
Entidade
and
Fisico
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
FemaleExecutiveRoom
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Female
e' um
atributo
de
Entidade
BusinessExecutive
e' um
atributo
de
Entidade
stays
Entidade
and
Objeto
(=>
(
attribute
?X
Florists
)
(
hasPurpose
?X
(
exists
(?FLOWER ?PROC)
(
and
(
instance
?PROC
Designing
)
(
instance
?FLOWER
Collection
)
(
memberType
?FLOWER
Flower
)
(
patient
?PROC ?FLOWER)
(
agent
?PROC ?X)))))
naics.kif 7773-7782
Florists
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Designing
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Flower
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?X
Fodder
)
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
OrganicObject
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Mid-level-ontology.kif 20040-20049
Fodder
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Harvesting
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
Objeto Organico
Objeto
e' uma
instancia
de
FoodForFn
DomesticAnimal
(=>
(
attribute
?X
ForageCrop
)
(
hasPurpose
?X
(
exists
(?A)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
instance
?X
Plant
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Economy.kif 4809-4818
ForageCrop
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Agriculture
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
Planta
Objeto
e' uma
instancia
de
FoodForFn
DomesticAnimal
(=>
(
attribute
?X
GamblingIndustries
)
(
hasPurpose
?X
(
exists
(?GAME ?BET)
(
and
(
instance
?GAME
Game
)
(
agent
?GAME ?X)
(
instance
?BET
Betting
)
(
destination
?BET ?X)
(
subProcess
?BET ?GAME)))))
naics.kif 11478-11487
GamblingIndustries
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Jogo
Entidade
e' um
agente
de
Objeto
Entidade
e' uma
instancia
de
Aposta
Entidade
termina
em
Objeto
Entidade
e' um
sub
-processo de
Entidade
(=>
(
attribute
?X
GiftNoveltyAndSouvenirStores
)
(
and
(
instance
?X
RetailStore
)
(
hasPurpose
?X
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?X)
(
patient
?SELL ?OBJ)
(
instance
?OBJ
Object
))))))
naics.kif 7805-7815
GiftNoveltyAndSouvenirStores
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
RetailStore
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
(=>
(
attribute
?X
IndustrialRawMaterial
)
(
hasPurpose
?X
(
exists
(?M)
(
and
(
instance
?M
Manufacture
)
(
resource
?M ?X)))))
Economy.kif 5772-5778
IndustrialRawMaterial
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Manufatura
Objeto
e' um
recurso
para
Entidade
(=>
(
attribute
?X
Machinery
)
(
hasPurpose
?X
(
exists
(?M)
(
and
(
instance
?M
Manufacture
)
(
instrument
?M ?X)))))
Economy.kif 5805-5811
Machinery
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Manufatura
Objeto
e' um
instrumento
para
Entidade
(=>
(
attribute
?X
MeanOfProduction
)
(
hasPurpose
?X
(
or
(
exists
(?MAKE ?PRODUCT)
(
and
(
instance
?MAKE
Making
)
(
involvedInEvent
?MAKE ?X)
(
not
(
result
?MAKE ?X))
(
instance
?PRODUCT
Artifact
)
(
result
?MAKE ?PRODUCT)
(
hasPurpose
?PRODUCT
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?PRODUCT))))))
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
CommercialService
)
(
involvedInEvent
?SERVICE ?X))))))
Economy.kif 5747-5767
MeanOfProduction
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Fazer
involvedInEvent
Entidade
and
Objeto
Objeto
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Artefato
Entidade
e' o
resultado
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
Entidade
e' uma
instancia
de
CommercialService
involvedInEvent
Entidade
and
Objeto
(=>
(
attribute
?X
NewsDealersAndNewsstands
)
(
hasPurpose
?X
(
exists
(?SELL ?NEWS)
(
and
(
instance
?NEWS
Newspaper
)
(
instance
?SELL
Selling
)
(
patient
?SELL ?NEWS)
(
agent
?SELL ?X)))))
naics.kif 7678-7686
NewsDealersAndNewsstands
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Newspaper
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
PassengerCarRental
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
customer
Entidade
and
Objeto
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma
instancia
de
Renting
Objeto
possui
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
attribute
?X
Porter
)
(
hasPurpose
?X
(
exists
(?LUGGAGE ?CARRY)
(
and
(
instance
?LUGGAGE
TravelContainer
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)))))
Hotel.kif 2383-2390
Porter
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
TravelContainer
Entidade
e' uma
instancia
de
Carrying
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
SnackAndNonalcoholicBeverageBars
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
attribute
?X
TourArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TourReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
Hotel.kif 2336-2346
TourArrangementAndReservationServices
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
TourReservation
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
Objeto
Entidade
e' o
resultado
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
attribute
?X
TravelArrangementAndReservationServices
)
(
hasPurpose
?X
(
exists
(?PROC ?RESERVE)
(
and
(
instance
?RESERVE
TravelReservation
)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?X)
(
or
(
result
?PROC ?RESERVE)
(
patient
?PROC ?RESERVE))))))
naics.kif 10451-10461
TravelArrangementAndReservationServices
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
TravelReservation
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
Objeto
Entidade
e' o
resultado
de
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
attribute
?X
TravelerAccommodation
)
(
hasPurpose
?X
(
exists
(?GUEST ?ROOM ?TI)
(
and
(
rents
?GUEST ?X ?ROOM ?TI)
(
instance
?ROOM
HotelUnit
)
(
element
?ROOM
(
PropertyFn
?X))))))
Hotel.kif 45-52
TravelerAccommodation
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
rents
Entidade
,
Objeto
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Objeto
(=>
(
attribute
?X
WellnessDaySpa
)
(
hasPurpose
?X
(
exists
(?MASSAGE)
(
and
(
instance
?MASSAGE
Massaging
)
(
agent
?MASSAGE ?X)))))
Hotel.kif 2320-2326
WellnessDaySpa
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Massaging
Entidade
e' um
agente
de
Objeto
(=>
(
businessUnit
?BU ?ORG)
(
hasPurpose
?BU
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
agent
?PROCESS ?BU)
(
benefits
?PROCESS ?ORG)))))
UXExperimentalTerms.kif 2563-2570
businessUnit
Organizacao
and
Business
Organizacao
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
agente
de
Organizacao
benefits
Entidade
and
Business
(=>
(
holdsDuring
?T
(
attribute
?X
FlightSteward
))
(
hasPurpose
?X
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Airplane
)
(
not
(
exists
(?G)
(
and
(
instance
?G
Guiding
)
(
agent
?G ?X)
(
instrument
?G ?P)))))))))
Mid-level-ontology.kif 30733-30746
FlightSteward
e' um
atributo
de
Fisico
vale
durante
Posicao Temporal
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Airplane
Entidade
Entidade
e' uma
instancia
de
Guiar
Entidade
e' um
agente
de
Fisico
Entidade
e' um
instrumento
para
Entidade
vale
durante
Posicao Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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