member
(=>
(
and
(
instance
?WATCH
WatchItem
)
(
instance
?OBJ
Object
)
(
patient
?WATCH ?OBJ)
(
agent
?WATCH ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
watchingListings
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?WATCH))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1605-1621
IntervalloTemporale
è un'
istanza
di
WatchItem
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
InsiemeConcreto
WebSite
,
PosizioneTemporale
and
IntervalloTemporale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebSite
è un'
istanza
di
WebSite
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
watchingListings
AutonomousAgent
,
InsiemeConcreto
and
WebSite
l'
inizio
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
Entit�
è un
membro
di
InsiemeConcreto
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
Oggetto
è un'
istanza
di
Buffet
attribute
Oggetto
and
Breakfast
l'affermazione
Entit�
Entit�
è un
membro
di
Oggetto
attribute
Entit�
and
Breakfast
ha il modello di forza di
Likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
HighTea
))
(
exists
(?TEA)
(
and
(
instance
?TEA
Tea
)
(
member
?TEA ?X))))
Food.kif 1835-1842
InsiemeConcreto
è un'
istanza
di
Meal
attribute
InsiemeConcreto
and
HighTea
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Tea
Entit�Concreta
è un
membro
di
InsiemeConcreto
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
InsiemeConcreto
è un'
istanza
di
Outfit
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
instance
?COLL3
Collection
)
(
instance
?COLL4
Collection
)
(
instance
?MEMBER
SelfConnectedObject
)
(
member
?MEMBER ?COLL1)
(
member
?COLL3 ?COLL2)
(
member
?COLL4 ?COLL2)
(
not
(
equal
?COLL3 ?COLL4)))
(
not
(
and
(
member
?MEMBER ?COLL3)
(
member
?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4638-4652
meceCollection
InsiemeConcreto
and
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
OggettoIntegro
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
~{
Entit�Concreta
è un
membro
di
InsiemeConcreto
} ~{
Entit�Concreta
è un
membro
di
InsiemeConcreto
}
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
member
?MEMBER ?COLL1)
(
instance
?MEMBER
SelfConnectedObject
))
(
exists
(?COLL3)
(
and
(
instance
?COLL3
Collection
)
(
member
?MEMBER ?COLL3)
(
member
?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4627-4636
meceCollection
InsiemeConcreto
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
OggettoIntegro
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
(=>
(
and
(
memberTypeCount
?GROUP ?TYPE ?NUMBER)
(
equal
?NUMBER 0))
(
not
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
member
?ITEM ?GROUP)))))
Mid-level-ontology.kif 22684-22692
memberTypeCount
InsiemeConcreto
,
Classe
and
NumeroInteroNonNegativo
NumeroInteroNonNegativo
is
uguale
a 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Classe
Entit�Concreta
è un
membro
di
InsiemeConcreto
(=>
(
and
(
numberOfCustomers
?NUM ?RESERVE)
(
fulfillingEntity
?AGENT ?RESERVE)
(
reservingEntity
?CUST ?RESERVE))
(
exists
(?GRP)
(
and
(
potentialCustomer
?GRP ?AGENT)
(
instance
?GRP
GroupOfPeople
)
(
member
?CUST ?GRP)
(
memberCount
?GRP ?NUM))))
Dining.kif 732-742
numberOfCustomers
NumeroInteroPositivo
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
InsiemeConcreto
potentialCustomer
InsiemeConcreto
and
AutonomousAgent
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
AutonomousAgent
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroInteroPositivo
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
numberSeniorOccupant
HotelReservation
and
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
NumeroReale
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
HumanAdult
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 60
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
and
AutonomousAgent
(=>
(
and
(
occupiesPosition
?PERSON ?POSITION ?ORGANIZATION)
(
instance
?ORGANIZATION
PoliticalParty
))
(
member
?PERSON ?ORGANIZATION))
Government.kif 2295-2299
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Organizzazione
è un'
istanza
di
PoliticalParty
Umano
è un
membro
di
Organizzazione
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
orthogonalTests
InsiemeConcreto
and
InsiemeConcreto
Oggetto
è un'
istanza
di
Umano
Entit�Concreta
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Experimenting
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
Entit�Concreta
Processo
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è una
sottoclasse
di
Experimenting
Oggetto
è
capace
di fare
Processo
nel ruolo
experimentalSubject
(=>
(
and
(
parent
?CHILD ?PARENT1)
(
parent
?CHILD ?PARENT2)
(
holdsDuring
?T1
(
and
(
spouse
?PARENT1 ?PARENT2)
(
cohabitant
?PARENT1 ?PARENT2)
(
cohabitant
?CHILD ?PARENT1))))
(
exists
(?FAM)
(
and
(
instance
?FAM
NuclearFamily
)
(
holdsDuring
?T1
(
and
(
member
?CHILD ?FAM)
(
member
?PARENT1 ?FAM)
(
member
?PARENT2 ?FAM))))))
Mid-level-ontology.kif 23185-23201
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
spouse
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
NuclearFamily
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
associateWithStatus
?AGENT
FullMember
?GROUP)
(
member
?AGENT ?GROUP))
Government.kif 2450-2452
associateWithStatus
AutonomousAgent
,
FullMember
and
Gruppo
AutonomousAgent
è un
membro
di
Gruppo
(=>
(
associateWithStatus
?AGENT
SuspendedMember
?GROUP)
(
not
(
member
?AGENT ?GROUP)))
Government.kif 2454-2456
associateWithStatus
AutonomousAgent
,
SuspendedMember
and
Gruppo
AutonomousAgent
è un
membro
di
Gruppo
(=>
(
attribute
?C
Corpsman
)
(
member
?C
NavyBranchOfService
))
MilitaryPersons.kif 739-741
attribute
Oggetto
and
Corpsman
Oggetto
è un
membro
di
NavyBranchOfService
(=>
(
attribute
?H
ChairmanJCS
)
(
member
?H
JointChiefsOfStaff
))
MilitaryProcesses.kif 914-916
attribute
Oggetto
and
ChairmanJCS
Oggetto
è un
membro
di
JointChiefsOfStaff
(=>
(
attribute
?H
DirectorJS
)
(
member
?H
JointChiefsOfStaff
))
MilitaryProcesses.kif 895-897
attribute
Oggetto
and
DirectorJS
Oggetto
è un
membro
di
JointChiefsOfStaff
(=>
(
attribute
?INDIVIDUAL
NonDenominationalIndividual
)
(
not
(
exists
(?RELIGION)
(
and
(
instance
?RELIGION
ReligiousOrganization
)
(
member
?INDIVIDUAL ?RELIGION)))))
People.kif 729-735
attribute
Oggetto
and
NonDenominationalIndividual
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
OrganizzazioneReligiosa
Oggetto
è un
membro
di
InsiemeConcreto
(=>
(
attribute
?N
Nazi
)
(
member
?N
NaziParty
))
Government.kif 2283-2285
attribute
Oggetto
and
Nazi
Oggetto
è un
membro
di
NaziParty
(=>
(
attribute
?P
SEAL
)
(
member
?P
NavyBranchOfService
))
MilitaryPersons.kif 792-794
attribute
Oggetto
and
SEAL
Oggetto
è un
membro
di
NavyBranchOfService
(=>
(
attribute
?PERSON
Terrorist
)
(
exists
(?TO)
(
and
(
instance
?TO
TerroristOrganization
)
(
member
?PERSON ?TO))))
MilitaryProcesses.kif 2142-2147
attribute
Oggetto
and
Terrorist
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
TerroristOrganization
Oggetto
è un
membro
di
InsiemeConcreto
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
or
(
member
?X ?GOV)
(
desires
?X
(
member
?X ?GOV))))))
Mid-level-ontology.kif 22542-22550
attribute
AgenteCognitivo
and
PoliticalFigure
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Governo
AgenteCognitivo
è un
membro
di
InsiemeConcreto
AgenteCognitivo
desidera
s
AgenteCognitivo
è un
membro
di
InsiemeConcreto
(=>
(
breathingRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
Breath
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10385-10397
breathingRate
Lung
,
IntervalloTemporale
and
NumeroIntero
InsiemeConcreto
Processo
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Breath
memberCount
InsiemeConcreto
and
NumeroIntero
Processo
è un
membro
di
InsiemeConcreto
Lung
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
codeMapping
IACOAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalCivilAviationOrganization
))
Transportation.kif 3161-3163
codeMapping
IACOAirlineCode
,
Stringa
and
Entit�Concreta
Entit�Concreta
è un
membro
di
InternationalCivilAviationOrganization
(=>
(
codeMapping
IATAAirlineCode
?STR ?AIR)
(
member
?AIR
InternationalAirTransportAssociation
))
Transportation.kif 3148-3150
codeMapping
IATAAirlineCode
,
Stringa
and
Entit�Concreta
Entit�Concreta
è un
membro
di
InternationalAirTransportAssociation
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