Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subclass
Sigma KEE - subclass
subclass
appearance as argument number 1
(
documentation
subclass
ChineseLanguage
"(
subclass
?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的
subclass
,也就是说, ?CLASS1 的每一个
instance
同时也是 ?CLASS2 的一个
instance
。一个
Class
可以具有多个超类别和子类别。")
chinese_format.kif 1371-1373
(
documentation
subclass
EnglishLanguage
"(
subclass
?CLASS1 ?CLASS2) means that ?CLASS1 is a
subclass
of ?CLASS2, i.e. every
instance
of ?CLASS1 is also an
instance
of ?CLASS2. A
Class
may have multiple superclasses and subclasses.")
Merge.kif 133-135
(
documentation
subclass
JapaneseLanguage
"(
subclass
?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の
subclass
である、という意味である。例えば、?CLASS1のすべての
instance
も?CLASS2 の
instance
である。")
japanese_format.kif 27-29
(
documentation
subclass
SpanishLanguage
"(
subclass
?CLASS1 ?CLASS2) quiere decir que ?CLASS1 es una
subclass
de ?CLASS2, por ejemplo, cada
instance
de ?CLASS1 es también una
instance
de ?CLASS2. Una
Class
puede tener varias superclases y subclases.")
spanish_format.kif 28-30
(
domain
subclass
1
Class
)
Merge.kif 131-131
Die Zahl 1 Argument von
subclass
ist ein
fall
von
Class
%n{nicht}
(
domain
subclass
2
Class
)
Merge.kif 132-132
Die Zahl 2 Argument von
subclass
ist ein
fall
von
Class
%n{nicht}
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
subclass
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
subclass
ClosedWorldPredicate
)
Merge.kif 18472-18472
subclass
ist ein
fall
von
ClosedWorldPredicate
%n{nicht}
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
subclass
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
subclass
"%1 %n 是 %2 的
subclass
")
chinese_format.kif 319-319
(
format
EnglishLanguage
subclass
"%1 is %n a
subclass
of %2")
english_format.kif 324-324
(
format
FrenchLanguage
subclass
"%1 est %n une sous-classe de %2")
french_format.kif 182-182
(
format
ItalianLanguage
subclass
"%1 è %n una sottoclasse di %2")
relations-it.txt 271-271
(
format
JapaneseLanguage
subclass
"%1 は %2 の
subclass
では %n")
japanese_format.kif 2002-2002
(
format
PortugueseLanguage
subclass
"%1 e' %n uma sub-classe de %2")
portuguese_format.kif 134-134
(
format
cz
subclass
"%1 %p{je} %n{nen�} podt��dou %2")
relations-cz.txt 175-175
(
format
de
subclass
"%1 ist eine teilkategorie von %2")
relations-de.txt 419-419
(
format
hi
subclass
"%1 %2 kaa upavarga %n hai")
relations-hindi.txt 308-308
(
format
ro
subclass
"%1 %n{nu} este o
subclass
%t{subclasã} a lui %2")
relations-ro.kif 202-202
(
format
sv
subclass
"%1 är %n{inte} en
subclass
till %2")
relations-sv.txt 192-192
(
format
tg
subclass
"%1 %n ay ang klase mas tiyak sa %2")
relations-tg.txt 463-463
(
subrelation
subField
subclass
)
Mid-level-ontology.kif 21339-21339
subField
ist eine
teilrelation
von
subclass
(
subrelation
subset
subclass
)
Merge.kif 5391-5391
subset
ist eine
teilrelation
von
subclass
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55704-55704
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55703-55703
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55702-55702
antecedent
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
Wenn
ADHD
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
ADHD
ist ein
attribut
von
** AutonomousAgent
nicht und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
IntentionalPsychologicalProcess
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
TimeDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** TimeDuration
%n{nicht},
dann die Aussage
** ** TimeDuration
ist
groesserAls
** TimeDuration
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
Wenn
Oversized
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
direkter
fall von
Class
und
** Class
ist eine
teilkategorie
von
HotelUnit
,
dann es gibt
Physical
,
RealNumber
,, ,
** RealNumber
, and und
UnitOfMeasure
um
** Physical
ist ein
direkter
fall von
** Class
und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und das
mass
von
** Physical
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** Object
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** ** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
Wenn
Writer
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
Entity
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingObject
ist eine
teilkategorie
von
Text
oder
** ** ContentBearingObject
ist eine
teilkategorie
von
Document
und
Process
ist ein
fall
von
Writing
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** AutonomousAgent
ist der
schreiber
von
** ** ContentBearingObject
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
Wenn
biochemicalAgentDelivery
** BiochemicalAgent
and
** Process
und
** ** Process
ist eine
teilkategorie
von
** Process
,
dann
biochemicalAgentDelivery
** BiochemicalAgent
and
** ** Process
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
Wenn
biologicalAgentCarrier
** BiologicalAgent
and
** Organism
und
** ** Organism
ist eine
teilkategorie
von
** Organism
,
dann
biologicalAgentCarrier
** BiologicalAgent
and
** ** Organism
(=>
(
and
(
capability
?PC ?ROLE ?MV)
(
subclass
?PC
Shooting
))
(
exists
(?WEAPON)
(
and
(
instance
?WEAPON
Weapon
)
(
part
?WEAPON ?MV)
(
capability
?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
Wenn
Object
ist faehig %n{nicht}, in der Rolle
CaseRole
** Process
zu tun und
** Process
ist eine
teilkategorie
von
Shooting
,
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Weapon
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist faehig %n{nicht}, in der Rolle
** CaseRole
** ** Process
zu tun
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
subclass
?HOLIDAY
FixedHoliday
)
(
lessThanOrEqualTo
?YEAR ?LATER-YEAR))
(
instance
?DATE
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?LATER-YEAR)))))
Government.kif 619-625
Wenn
commemoratesDate
** Holiday
and der
tag
PositiveInteger
und
Entity
ist ein
fall
von
** Holiday
%n{nicht} und
** ** Holiday
ist eine
teilkategorie
von
FixedHoliday
und
Integer
ist
kleinerAlsOderGleich
** entity
-YEAR %n{nicht},
dann
** Entity
ist ein
fall
von der
tag
** PositiveInteger
%n{nicht}
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
propertyAmenity
** AutonomousAgent
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
und
Entity
ist ein
fall
von
** ** Physical
%n{nicht},
dann
** AutonomousAgent
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
** entity
um
** ** entity
ist ein
fall
von
Process
%n{nicht} und
** Entity
ist ein
hilfmittel
fuer
** ** entity
%n{nicht} oder
** Entity
ist ein
instrument
fuer
** ** entity
%n{nicht} oder
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} oder
** CognitiveAgent
erfaehrt
** ** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
propertyAmenity
** AutonomousAgent
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann die Aussage es gibt
entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** entity
ist ein
fall
von
** ** Physical
%n{nicht} oder
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** entity
ist ein
subProzess
von
** ** entity
und
** entity
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
Wenn
defaultMaximumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
Class
ist eine
teilkategorie
von
NonCompositeUnitOfMeasure
und
** UnitOfMeasure
ist ein
fall
von
** Class
%n{nicht},
dann die Aussage es gibt
entity
,
** RealNumber
UANTITY, and und
** entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** ** entity
(s) %n{nicht} und
** ** entity
ist ein
fall
von
** Class
%n{nicht} und
** RealNumber
UANTITY
** ** entity
(s) ist
groesserAls
** RealNumber
** UnitOfMeasure
(s) %n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
Wenn
defaultMinimumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
Class
ist eine
teilkategorie
von
NonCompositeUnitOfMeasure
und
** UnitOfMeasure
ist ein
fall
von
** Class
%n{nicht},
dann die Aussage es gibt
entity
,
** RealNumber
UANTITY, and und
** entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** ** entity
(s) %n{nicht} und
** ** entity
ist ein
fall
von
** Class
%n{nicht} und
** RealNumber
UANTITY ist
kleinerAls
** RealNumber
%n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
Wenn
diseaseMedicine
DiseaseOrSyndrome
,
** BiologicallyActiveSubstance
and
** Process
und
** ** Process
ist eine
teilkategorie
von
** Process
,
dann
diseaseMedicine
** DiseaseOrSyndrome
,
** BiologicallyActiveSubstance
and
** ** Process
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
Wenn
diseaseMedicine
DiseaseOrSyndrome
,
** BiologicallyActiveSubstance
and
** Process
und
** ** BiologicallyActiveSubstance
ist eine
teilkategorie
von
** BiologicallyActiveSubstance
,
dann
diseaseMedicine
** DiseaseOrSyndrome
,
** ** BiologicallyActiveSubstance
and
** Process
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2112-2121
Wenn
electricityConsumptionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityConsumption
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2156-2165
Wenn
electricityExportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityExport
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2202-2211
Wenn
electricityImportInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityImport
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 1980-1989
Wenn
electricityProductionInPeriod
GeopoliticalArea
,
PhysicalQuantity
and
** TimeInterval
und
** TimeInterval
ist eine
teilkategorie
von
Year
oder
** ** TimeInterval
ist eine
teilkategorie
von
FiscalYearFn
** GeopoliticalArea
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
annualElectricityProduction
** GeopoliticalArea
and
** PhysicalQuantity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
AnimalFat
und
** ** Object
ist eine
teilkategorie
von
FatTissue
,
dann
initialPart
** ** ** Object
and
Animal
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CoffeeBean
und
** ** Object
ist eine
teilkategorie
von
Seed
,
dann
initialPart
** ** ** Object
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CocoaBean
und
** ** Object
ist eine
teilkategorie
von
Seed
,
dann
initialPart
** ** ** Object
and
CocoaTree
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Wenn
** Getting
ist gleich
ReceivingAnObjectFn
** Object
%n{nicht} und
** ** Getting
ist gleich
ReceivingAnObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
** ** Object
,
dann
** Getting
ist eine
teilkategorie
von
** ** Getting
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
Wenn
Organization
ist gleich
DepartmentOfPreventingFn
** Organization
and
** Physical
%n{nicht} und
** Physical
ist eine
teilkategorie
von
Process
und
subOrganization
** Organization
and
** ** Organization
,
dann
** Organization
hemmt
** ** Physical
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Meat
,
dann
** OrganicObject
ist eine
teilkategorie
von
Animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
Malt
und
** ** Object
ist eine
teilkategorie
von
CerealGrain
,
dann
initialPart
** ** ** Object
and
CerealGrass
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
OilFromPlant
und
** ** Object
ist eine
teilkategorie
von
Seed
oder
** ** ** Object
ist eine
teilkategorie
von
Fruit
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
FloweringPlant
und
initialPart
** ** ** Object
and
** ** ** Object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31387-31394
Wenn
applicableRelation
Object
and
Relation
und
** Object
ist ein
fall
von
** Object
C %n{nicht} und die Zahl 1 Argument von
** Relation
ist ein
fall
von
** Class
%n{nicht},
dann
** Object
C ist gleich
** ** Class
%n{nicht} oder
** Object
C ist eine
teilkategorie
von
** ** Class
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
Wenn
DutyFree
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Store
%n{nicht},
dann es gibt
GeopoliticalArea
,
Entity
,, ,
** ** Object
, and und
Process
um
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
** ** Object
ist eine
teilkategorie
von
Object
und
importCommodityType
** GeopoliticalArea
and
** ** ** Object
und
** Entity
ist ein
fall
von
** ** ** Object
%n{nicht} und
** Process
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
befindet
sich an %n{nicht}
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
Wenn
birthdate
Human
and
Day
und
** Day
ist ein
fall
von der
tag
PositiveInteger
%n{nicht},
dann es gibt
** ** Day
und
Integer
um
birthday
** Human
and
** ** Day
und
** ** ** Day
ist eine
teilkategorie
von
Day
und
** Integer
ist ein
fall
von
Integer
%n{nicht} und
** ** ** Day
ist gleich der
tag
** PositiveInteger
%n{nicht} und
** Integer
ist
groesserAls
** Integer
%n{nicht}
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist ein
fall
von
Class
%n{nicht} und die Zahl
** PositiveInteger
Argument von
** Relation
ist ein
fall
von
** Class
%n{nicht},
dann
** Class
ist eine
teilkategorie
von
** ** Class
oder
** ** Class
ist eine
teilkategorie
von
** Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist eine
teilkategorie
von
Class
%n{nicht} und
** Relation
ist ein
fall
von
Predicate
%n{nicht} und
** Relation
@ROW,
dann
** PositiveInteger
te
mitglied
von (@ROW) ist eine
teilkategorie
von
** Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
Wenn die Zahl
PositiveInteger
Argument von
Relation
ist eine
teilkategorie
von
Class
%n{nicht} und die Zahl
** PositiveInteger
Argument von
** Relation
ist eine
teilkategorie
von
** Class
%n{nicht},
dann
** Class
ist eine
teilkategorie
von
** ** Class
oder
** ** Class
ist eine
teilkategorie
von
** Class
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Wenn
** Getting
ist gleich
ReceivingAnObjectFn
** Object
%n{nicht} und
** ** Getting
ist gleich
ReceivingAnObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
** ** Object
,
dann
** Getting
ist eine
teilkategorie
von
** ** Getting
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Meat
,
dann
** OrganicObject
ist eine
teilkategorie
von
Animal
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
OilFromPlant
und
** ** Object
ist eine
teilkategorie
von
Seed
oder
** ** ** Object
ist eine
teilkategorie
von
Fruit
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
FloweringPlant
und
initialPart
** ** ** Object
and
** ** ** Object
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Object
,
dann
** OrganicObject
ist eine
teilkategorie
von
Organism
oder
** ** OrganicObject
ist eine
teilkategorie
von
AnatomicalStructure
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Pelt
,
dann
** OrganicObject
ist eine
teilkategorie
von
Skin
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WoodProduct
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
BotanicalTree
und
initialPart
** ** ** Object
and
** ** ** Object
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1780-1788
Wenn
** Object
ist gleich
AttrFn
** ** Object
and
Attribute
%n{nicht} und
** Object
ist ein
fall
von
** Object
%n{nicht},
dann
** ** Object
ist ein
fall
von
** ** Object
%n{nicht} und
** ** Object
ist eine
teilkategorie
von
** ** ** Object
und
** Attribute
ist ein
attribut
von
** ** Object
%n{nicht}
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
Wenn
Object
ist ein
fall
von
AegilopsGrass
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
** ** Object
LASS %n{nicht},
dann
** ** Object
LASS ist eine
teilkategorie
von
DiploidCell
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3963-3968
Wenn
Object
ist ein
fall
von
CommonWheatGrass
%n{nicht} und
** Object
ELL ist ein
teil
von
** Object
%n{nicht} und
** Object
ELL ist ein
fall
von
** Object
LASS %n{nicht},
dann
** Object
LASS ist eine
teilkategorie
von
HexaploidCell
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 3993-3998
Wenn
Object
ist ein
fall
von
SpeltWheatGrass
%n{nicht} und
** Object
ELL ist ein
teil
von
** Object
%n{nicht} und
** Object
ELL ist ein
fall
von
** Object
LASS %n{nicht},
dann
** Object
LASS ist eine
teilkategorie
von
HexaploidCell
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
Wenn
Process
ist ein
fall
von
Deciding
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
Set
ist ein
fall
von
Set
%n{nicht} und
** Set
ist ein
patient
von
** Process
%n{nicht} und
Entity
ist ein
element
von
** Set
%n{nicht},
dann
** CognitiveAgent
glaubt %n{nicht}, dass es gibt
** entity
um
** Entity
ist ein
fall
von
** ** entity
%n{nicht} und
** ** entity
ist eine
teilkategorie
von
IntentionalProcess
und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
agent
** ** entity
zu tun
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3904-3909
Wenn
Object
ist ein
fall
von
DurumWheatGrass
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
** ** Object
LASS %n{nicht},
dann
** ** Object
LASS ist eine
teilkategorie
von
TetraploidCell
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3934-3939
Wenn
Object
ist ein
fall
von
EinkornWheatGrass
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
** ** Object
LASS %n{nicht},
dann
** ** Object
LASS ist eine
teilkategorie
von
DiploidCell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3872-3877
Wenn
Object
ist ein
fall
von
EmmerWheatGrass
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
** ** Object
LASS %n{nicht},
dann
** ** Object
LASS ist eine
teilkategorie
von
TetraploidCell
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3948-3953
Wenn
Object
ist ein
fall
von
TriticumUrartu
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
** ** Object
LASS %n{nicht},
dann
** ** Object
LASS ist eine
teilkategorie
von
DiploidCell
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Wenn
Process
ist ein
fall
von
Felling
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Entity
TEM um
** Entity
ist ein
fall
von
DeadFn
** Entity
TEM %n{nicht} und
** Entity
TEM ist eine
teilkategorie
von
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
Wenn
Process
ist ein
fall
von
Harvesting
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Entity
RG um
** Entity
ist ein
fall
von
DeadFn
** Entity
RG %n{nicht} und
** Entity
RG ist eine
teilkategorie
von
OrganicObject
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
Wenn
WearableItem
ist ein
fall
von
HearingProtection
%n{nicht} und
Animal
ist ein
fall
von
Human
%n{nicht} und
wears
** Animal
and
** WearableItem
,
dann
** WearableItem
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Process
%n{nicht} und
** ** entity
ist eine
teilkategorie
von die
kategorie
die
** ** entity
beschreibt und
** entity
verhindert
das Auftreten von
** ** entity
und
** WearableItem
ist ein
instrument
fuer
** entity
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Wenn
Catalog
ist ein
fall
von
AlcoholMenu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
AlcoholicBeverage
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
FitForMilitaryServiceMaleFn
GeopoliticalArea
ist gleich die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5109-5112
Es gibt
** Object
um
** Object
ist eine
teilkategorie
von
HandToolBox
und
manufacturer
** ** Object
and
SortimoCorp
appearance as argument number 0
(
subclass
AAM
AirAttackMissile
)
MilitaryDevices.kif 1170-1170
AAM
ist eine
teilkategorie
von
AirAttackMissile
(
subclass
AAM
AirLaunchMissile
)
MilitaryDevices.kif 1169-1169
AAM
ist eine
teilkategorie
von
AirLaunchMissile
(
subclass
AAM
GuidedMissile
)
MilitaryDevices.kif 1171-1171
AAM
ist eine
teilkategorie
von
GuidedMissile
(
subclass
AAV
AmphibiousVehicle
)
MilitaryDevices.kif 1647-1647
AAV
ist eine
teilkategorie
von
AmphibiousVehicle
(
subclass
AAV
MilitaryVehicle
)
MilitaryDevices.kif 1646-1646
AAV
ist eine
teilkategorie
von
MilitaryVehicle
(
subclass
AAV
PassengerVehicle
)
MilitaryDevices.kif 1648-1648
AAV
ist eine
teilkategorie
von
PassengerVehicle
(
subclass
AAV
PoweredVehicle
)
MilitaryDevices.kif 1649-1649
AAV
ist eine
teilkategorie
von
PoweredVehicle
(
subclass
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
Nerve
)
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
ist eine
teilkategorie
von
Nerve
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 26355-26355
ACPowerSource
ist eine
teilkategorie
von
PowerSource
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3293-3293
ADHD
ist eine
teilkategorie
von
PsychologicalDysfunction
(
subclass
AGM
AirLaunchMissile
)
MilitaryDevices.kif 1123-1123
AGM
ist eine
teilkategorie
von
AirLaunchMissile
(
subclass
AGM
GroundAttackMissile
)
MilitaryDevices.kif 1124-1124
AGM
ist eine
teilkategorie
von
GroundAttackMissile
(
subclass
AGM114
AGM
)
MilitaryDevices.kif 1203-1203
AGM114
ist eine
teilkategorie
von
AGM
(
subclass
AGM114
AntiArmorWeapon
)
MilitaryDevices.kif 1205-1205
AGM114
ist eine
teilkategorie
von
AntiArmorWeapon
(
subclass
AGM114
BeamRidingGMissile
)
MilitaryDevices.kif 1204-1204
AGM114
ist eine
teilkategorie
von
BeamRidingGMissile
(
subclass
AGM65
AGM
)
MilitaryDevices.kif 1136-1136
AGM65
ist eine
teilkategorie
von
AGM
(
subclass
AGM65
AntiArmorWeapon
)
MilitaryDevices.kif 1138-1138
AGM65
ist eine
teilkategorie
von
AntiArmorWeapon
(
subclass
AGM65
InfraRedGMissile
)
MilitaryDevices.kif 1137-1137
AGM65
ist eine
teilkategorie
von
InfraRedGMissile
(
subclass
AH1
Helicopter
)
MilitaryDevices.kif 1889-1889
AH1
ist eine
teilkategorie
von
Helicopter
(
subclass
AH1
MilitaryVehicle
)
MilitaryDevices.kif 1890-1890
AH1
ist eine
teilkategorie
von
MilitaryVehicle
(
subclass
AIM9
AAM
)
MilitaryDevices.kif 1177-1177
AIM9
ist eine
teilkategorie
von
AAM
(
subclass
AIM9
InfraRedGMissile
)
MilitaryDevices.kif 1178-1178
AIM9
ist eine
teilkategorie
von
InfraRedGMissile
(
subclass
AMEV
Ambulance
)
MilitaryDevices.kif 2130-2130
AMEV
ist eine
teilkategorie
von
Ambulance
(
subclass
AMEV
LandVehicle
)
MilitaryDevices.kif 2129-2129
AMEV
ist eine
teilkategorie
von
LandVehicle
(
subclass
AMEV
MilitaryVehicle
)
MilitaryDevices.kif 2128-2128
AMEV
ist eine
teilkategorie
von
MilitaryVehicle
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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