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
Ang bilang 1 bahagi ng
subclass
ay ang
halimbawa
ng
klase
(
domain
subclass
2
Class
)
Merge.kif 132-132
Ang bilang 2 bahagi ng
subclass
ay ang
halimbawa
ng
klase
(
instance
subclass
BinaryPredicate
)
Merge.kif 129-129
subclass
ay ang
kasapi
sa
dalawang panaguri
(
instance
subclass
ClosedWorldPredicate
)
Merge.kif 18557-18557
subclass
ay ang
kasapi
sa
ClosedWorldPredicate
(
instance
subclass
PartialOrderingRelation
)
Merge.kif 130-130
subclass
ay ang
kasapi
sa
PartialOrderingRelation
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 21629-21629
subField
ay ang
kaugnayan
mas tiyak ng
subclass
(
termFormat
ChineseLanguage
subclass
"子类")
domainEnglishFormat.kif 55739-55739
subField
ay ang
kaugnayan
mas tiyak ng
subclass
(
termFormat
ChineseLanguage
subclass
"子类别")
chinese_format.kif 320-320
subField
ay ang
kaugnayan
mas tiyak ng
subclass
(
termFormat
ChineseTraditionalLanguage
subclass
"子類")
domainEnglishFormat.kif 55738-55738
subField
ay ang
kaugnayan
mas tiyak ng
subclass
(
termFormat
EnglishLanguage
subclass
"subclass")
domainEnglishFormat.kif 55737-55737
subField
ay ang
kaugnayan
mas tiyak ng
subclass
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 3972-3992
Kong
AutonomousAgent
may katangian ng
ADHD
at
** AutonomousAgent
hindi may katangian ng
ADHD
at
** AutonomousAgent
hindi ay
pareho
sa
** ** AutonomousAgent
at
paraan
ay ang
kasapi
sa
klase
at
** paraan
ay ang
kasapi
sa
** klase
at
** klase
ay ang
klase
mas tiyak sa
paraan ng sadyang sikolohiya
at
** paraan
ang kumakatawan sa
** AutonomousAgent
at
** ** paraan
ang kumakatawan sa
** ** AutonomousAgent
at ang
tagal
ng ang
panahon
ng kabuhayan ng
** paraan
ay
tagal ng panahon
at ang
tagal
ng ang
panahon
ng kabuhayan ng
** ** paraan
ay
** tagal ng panahon
,
kung gayon
modalAttribute
** ** tagal ng panahon
ay mas
malaki
sa
** tagal ng panahon
and
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
Kong
bagay
may katangian ng
Oversized
at
** bagay
ay ang
kasapi
ng agad sa
klase
at
** klase
ay ang
klase
mas tiyak sa
HotelUnit
,
kung gayon mayroon
materyal
,
tunay na numero
,, ,
** tunay na numero
, and at
batayang sukat
para sa ganoon
** materyal
ay ang
kasapi
ng agad sa
** klase
at
** batayang sukat
ay ang
kasapi
sa
UnitOfArea
at ang
sukatan
ng
** materyal
ay
tungkulin ng sukatan
** tunay na numero
and
** batayang sukat
at ang
sukatan
ng
** bagay
ay
tungkulin ng sukatan
** ** tunay na numero
and
** batayang sukat
at
** tunay na numero
ay ang
kasapi
sa
sukat ng lawak
at
** ** tunay na numero
ay ang
kasapi
sa
sukat ng lawak
at
** ** tunay na numero
ay mas
malaki
sa
** tunay na numero
(=>
(
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
Kong
AutonomousAgent
may katangian ng
Writer
at
kahit ano
ay ang
kasapi
sa
** tagadala ng impormasiyon
at
** tagadala ng impormasiyon
ay ang
klase
mas tiyak sa
Teksto
o
** ** tagadala ng impormasiyon
ay ang
klase
mas tiyak sa
Document
at
paraan
ay ang
kasapi
sa
sumulat
at
** paraan
ang kumakatawan sa
** AutonomousAgent
at
** kahit ano
ay ang
hangga
ng
** paraan
,
kung gayon
** AutonomousAgent
ay ang
sumulat
ng
** ** tagadala ng impormasiyon
(=>
(
and
(
biochemicalAgentDelivery
?AGENT ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
biochemicalAgentDelivery
?AGENT ?SUB))
WMD.kif 789-793
Kong
biochemicalAgentDelivery
** BiochemicalAgent
and
** paraan
at
** ** paraan
ay ang
klase
mas tiyak sa
** paraan
,
kung gayon
biochemicalAgentDelivery
** BiochemicalAgent
and
** ** paraan
(=>
(
and
(
biologicalAgentCarrier
?AGENT ?ORGANISM)
(
subclass
?SUB ?ORGANISM))
(
biologicalAgentCarrier
?AGENT ?SUB))
WMD.kif 976-980
Kong
biologicalAgentCarrier
** BiologicalAgent
and
** kinapal
at
** ** kinapal
ay ang
klase
mas tiyak sa
** kinapal
,
kung gayon
biologicalAgentCarrier
** BiologicalAgent
and
** ** kinapal
(=>
(
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
Kong kaya
** paraan
gawin
CaseRole
at
** paraan
ay ang
klase
mas tiyak sa
binabaril
,
kung gayon mayroon
bagay
para sa ganoon
** bagay
ay ang
kasapi
sa
sandata
at
** bagay
ay ang
bahagi
ng
** bagay
at kaya
** ** paraan
gawin
** CaseRole
(=>
(
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 583-589
Kong
commemoratesDate
** Holiday
and ang
araw
positibong numero
at
kahit ano
ay ang
kasapi
sa
** Holiday
at
** ** Holiday
ay ang
klase
mas tiyak sa
FixedHoliday
at
buong numero
ay
meno
o pareho ng
** kahit ano
_YEAR,
kung gayon
** kahit ano
ay ang
kasapi
sa ang
araw
** positibong numero
(=>
(
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
Kong
customer
kinatawan may kaalaman
and
AutonomousAgent
at
propertyAmenity
** AutonomousAgent
and
** materyal
at
** materyal
ay ang
klase
mas tiyak sa
bagay
at
kahit ano
ay ang
kasapi
sa
** ** materyal
,
kung gayon
** AutonomousAgent
nagpapahintulot
** kinatawan may kaalaman
gawin ang gawain sa ang klase mayroon
** kahit ano
para sa ganoon
** ** kahit ano
ay ang
kasapi
sa
paraan
at
** kahit ano
ay ang
kakayahan
ng
** ** kahit ano
o
** kahit ano
ay ang
kasangkapan
ng
** ** kahit ano
o
** kahit ano
ay
sumasali
ng
** ** kahit ano
at
** ** kahit ano
ang kumakatawan sa
** kinatawan may kaalaman
o
** kinatawan may kaalaman
ay
danas
** ** kahit ano
(=>
(
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
Kong
customer
kinatawan may kaalaman
and
AutonomousAgent
at
propertyAmenity
** AutonomousAgent
and
** materyal
at
** materyal
ay ang
klase
mas tiyak sa
paraan
,
kung gayon
modalAttribute
mayroon
kahit ano
,
** kahit ano
, and at
** kahit ano
para sa ganoon
** ** kahit ano
ay ang
elemento
sa
pag
-aari ng
** AutonomousAgent
at
** kahit ano
ang kumakatawan sa
** AutonomousAgent
at
** kinatawan may kaalaman
ay
sumasali
ng
** kahit ano
at
** kahit ano
ay ang
kasapi
sa
** ** materyal
o
** ** kahit ano
ay ang
kasapi
sa
** ** materyal
at
** kahit ano
ay ang
paraan
mas baba ng
** ** kahit ano
at
** kahit ano
ay
sa
** ** kahit ano
and
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 13765-13776
Kong
defaultMaximumMeasure
** bagay
and
tungkulin ng sukatan
tunay na numero
and
batayang sukat
at
klase
ay ang
klase
mas tiyak sa
NonCompositeUnitOfMeasure
at
** batayang sukat
ay ang
kasapi
sa
** klase
,
kung gayon
modalAttribute
mayroon
kahit ano
,
** tunay na numero
UANTITY, and at
** kahit ano
para sa ganoon
** kahit ano
ay ang
kasapi
sa
** bagay
at ang
sukatan
ng
** kahit ano
ay
tungkulin ng sukatan
** tunay na numero
UANTITY and
** ** kahit ano
at
** ** kahit ano
ay ang
kasapi
sa
** klase
at
tungkulin ng sukatan
** tunay na numero
UANTITY and
** ** kahit ano
ay mas
malaki
sa
tungkulin ng sukatan
** tunay na numero
and
** batayang sukat
and
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 13734-13745
Kong
defaultMinimumMeasure
** bagay
and
tungkulin ng sukatan
tunay na numero
and
batayang sukat
at
klase
ay ang
klase
mas tiyak sa
NonCompositeUnitOfMeasure
at
** batayang sukat
ay ang
kasapi
sa
** klase
,
kung gayon
modalAttribute
mayroon
kahit ano
,
** tunay na numero
UANTITY, and at
** kahit ano
para sa ganoon
** kahit ano
ay ang
kasapi
sa
** bagay
at ang
sukatan
ng
** kahit ano
ay
tungkulin ng sukatan
** tunay na numero
UANTITY and
** ** kahit ano
at
** ** kahit ano
ay ang
kasapi
sa
** klase
at
** tunay na numero
UANTITY ay
meno
ng
** tunay na numero
and
Unlikely
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?PROCESS))
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 957-961
Kong
diseaseMedicine
sakit
,
** BiologicallyActiveSubstance
and
** paraan
at
** ** paraan
ay ang
klase
mas tiyak sa
** paraan
,
kung gayon
diseaseMedicine
** sakit
,
** BiologicallyActiveSubstance
and
** ** paraan
(=>
(
and
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
subclass
?SUB ?SUBSTANCE))
(
diseaseMedicine
?DISEASE ?SUB ?PROCESS))
WMD.kif 963-967
Kong
diseaseMedicine
sakit
,
** BiologicallyActiveSubstance
and
** paraan
at
** ** BiologicallyActiveSubstance
ay ang
klase
mas tiyak sa
** BiologicallyActiveSubstance
,
kung gayon
diseaseMedicine
** sakit
,
** ** BiologicallyActiveSubstance
and
** paraan
(=>
(
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 2227-2236
Kong
electricityConsumptionInPeriod
laki ukol sa politika sa pamahalaan
,
dami ng materyal
and
** pagitan ng panahon
at
** pagitan ng panahon
ay ang
klase
mas tiyak sa
taon
o
** ** pagitan ng panahon
ay ang
klase
mas tiyak sa
FiscalYearFn
** laki ukol sa politika sa pamahalaan
,
kung gayon mayroon
kalagayan ng panahon
para sa ganoon
** kalagayan ng panahon
ay ang
kasapi
sa
** ** pagitan ng panahon
at
annualElectricityConsumption
** laki ukol sa politika sa pamahalaan
and
** dami ng materyal
ay tutoo
panahon
ng
** kalagayan ng panahon
(=>
(
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 2271-2280
Kong
electricityExportInPeriod
laki ukol sa politika sa pamahalaan
,
dami ng materyal
and
** pagitan ng panahon
at
** pagitan ng panahon
ay ang
klase
mas tiyak sa
taon
o
** ** pagitan ng panahon
ay ang
klase
mas tiyak sa
FiscalYearFn
** laki ukol sa politika sa pamahalaan
,
kung gayon mayroon
kalagayan ng panahon
para sa ganoon
** kalagayan ng panahon
ay ang
kasapi
sa
** ** pagitan ng panahon
at
annualElectricityExport
** laki ukol sa politika sa pamahalaan
and
** dami ng materyal
ay tutoo
panahon
ng
** kalagayan ng panahon
(=>
(
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 2317-2326
Kong
electricityImportInPeriod
laki ukol sa politika sa pamahalaan
,
dami ng materyal
and
** pagitan ng panahon
at
** pagitan ng panahon
ay ang
klase
mas tiyak sa
taon
o
** ** pagitan ng panahon
ay ang
klase
mas tiyak sa
FiscalYearFn
** laki ukol sa politika sa pamahalaan
,
kung gayon mayroon
kalagayan ng panahon
para sa ganoon
** kalagayan ng panahon
ay ang
kasapi
sa
** ** pagitan ng panahon
at
annualElectricityImport
** laki ukol sa politika sa pamahalaan
and
** dami ng materyal
ay tutoo
panahon
ng
** kalagayan ng panahon
(=>
(
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 2095-2104
Kong
electricityProductionInPeriod
laki ukol sa politika sa pamahalaan
,
dami ng materyal
and
** pagitan ng panahon
at
** pagitan ng panahon
ay ang
klase
mas tiyak sa
taon
o
** ** pagitan ng panahon
ay ang
klase
mas tiyak sa
FiscalYearFn
** laki ukol sa politika sa pamahalaan
,
kung gayon mayroon
kalagayan ng panahon
para sa ganoon
** kalagayan ng panahon
ay ang
kasapi
sa
** ** pagitan ng panahon
at
annualElectricityProduction
** laki ukol sa politika sa pamahalaan
and
** dami ng materyal
ay tutoo
panahon
ng
** kalagayan ng panahon
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
AnimalFat
at
** ** bagay
ay ang
klase
mas tiyak sa
taba ng laman
,
kung gayon
initialPart
** ** ** bagay
and
hayop
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4744-4749
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
CoffeeBean
at
** ** bagay
ay ang
klase
mas tiyak sa
Seed
,
kung gayon
initialPart
** ** ** bagay
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4808-4814
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
CocoaBean
at
** ** bagay
ay ang
klase
mas tiyak sa
Seed
,
kung gayon
initialPart
** ** ** bagay
and
CocoaTree
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Kong
** pagkuha
ay
pareho
sa
ReceivingAnObjectFn
** bagay
at
** ** pagkuha
ay
pareho
sa
ReceivingAnObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
** ** bagay
,
kung gayon
** pagkuha
ay ang
klase
mas tiyak sa
** ** pagkuha
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18691-18696
Kong
kapisanan
ay
pareho
sa
DepartmentOfPreventingFn
** kapisanan
and
** materyal
at
** materyal
ay ang
klase
mas tiyak sa
paraan
at
subOrganization
** kapisanan
and
** ** kapisanan
,
kung gayon
** kapisanan
ay
pipigilin
** ** materyal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5060-5065
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** bagay ng buhay
at
** bagay
ay ang
klase
mas tiyak sa
karne
,
kung gayon
** bagay ng buhay
ay ang
klase
mas tiyak sa
hayop
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4281-4287
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
Malt
at
** ** bagay
ay ang
klase
mas tiyak sa
CerealGrain
,
kung gayon
initialPart
** ** ** bagay
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 4647-4658
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
OilFromPlant
at
** ** bagay
ay ang
klase
mas tiyak sa
Seed
o
** ** ** bagay
ay ang
klase
mas tiyak sa
Fruit
,
kung gayon mayroon
** ** bagay
para sa ganoon
** ** bagay
ay ang
klase
mas tiyak sa
Halamang namumulaklak
at
initialPart
** ** ** bagay
and
** ** ** bagay
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 31685-31692
Kong
applicableRelation
bagay
and
kaugnayan
at
** bagay
ay ang
kasapi
sa
** bagay
C at ang bilang 1 bahagi ng
** kaugnayan
ay ang
halimbawa
ng
** klase
,
kung gayon
** bagay
C ay
pareho
sa
** ** klase
o
** bagay
C ay ang
klase
mas tiyak sa
** ** klase
(=>
(
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
Kong
bagay
may katangian ng
DutyFree
at
** bagay
ay ang
kasapi
sa
Store
,
kung gayon mayroon
laki ukol sa politika sa pamahalaan
,
kahit ano
,, ,
** ** bagay
, and at
paraan
para sa ganoon
** laki ukol sa politika sa pamahalaan
ay ang
kasapi
sa
laki ukol sa politika sa pamahalaan
at
** bagay
ay
sa
** laki ukol sa politika sa pamahalaan
at
** ** bagay
ay ang
klase
mas tiyak sa
bagay
at
importCommodityType
** laki ukol sa politika sa pamahalaan
and
** ** ** bagay
at
** kahit ano
ay ang
kasapi
sa
** ** ** bagay
at
** paraan
ay ang
kasapi
sa
nagbibili
at
** kahit ano
ay
sumasali
ng
** paraan
at
** paraan
ay
sa
** bagay
(=>
(
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 24556-24566
Kong
birthdate
tao
and
araw
at
** araw
ay ang
kasapi
sa ang
araw
positibong numero
,
kung gayon mayroon
** ** araw
at
buong numero
para sa ganoon
birthday
** tao
and
** ** araw
at
** ** ** araw
ay ang
klase
mas tiyak sa
araw
at
** buong numero
ay ang
kasapi
sa
buong numero
at
** ** ** araw
ay
pareho
sa ang
araw
** positibong numero
at
** buong numero
ay mas
malaki
sa
** buong numero
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
Kong ang bilang
positibong numero
bahagi ng
kaugnayan
ay ang
halimbawa
ng
klase
at ang bilang
** positibong numero
bahagi ng
** kaugnayan
ay ang
halimbawa
ng
** klase
,
kung gayon
** klase
ay ang
klase
mas tiyak sa
** ** klase
o
** ** klase
ay ang
klase
mas tiyak sa
** klase
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3006-3011
Kong ang bliang
positibong numero
bahagi ng
kaugnayan
ay ang mas
tiayk
klase ng
klase
at
** kaugnayan
ay ang
kasapi
sa
panaguri
at
** kaugnayan
@ROW,
kung gayon
** positibong numero
th
elemento
ng (@ROW ay ang
klase
mas tiyak sa
** klase
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
Kong ang bliang
positibong numero
bahagi ng
kaugnayan
ay ang mas
tiayk
klase ng
klase
at ang bliang
** positibong numero
bahagi ng
** kaugnayan
ay ang mas
tiayk
klase ng
** klase
,
kung gayon
** klase
ay ang
klase
mas tiyak sa
** ** klase
o
** ** klase
ay ang
klase
mas tiyak sa
** klase
(=>
(
and
(
equal
?CLASS1
(
ReceivingAnObjectFn
?OBJCLASS1))
(
equal
?CLASS2
(
ReceivingAnObjectFn
?OBJCLASS2))
(
subclass
?OBJCLASS1 ?OBJCLASS2))
(
subclass
?CLASS1 ?CLASS2))
Media.kif 195-200
Kong
** pagkuha
ay
pareho
sa
ReceivingAnObjectFn
** bagay
at
** ** pagkuha
ay
pareho
sa
ReceivingAnObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
** ** bagay
,
kung gayon
** pagkuha
ay ang
klase
mas tiyak sa
** ** pagkuha
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5060-5065
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** bagay ng buhay
at
** bagay
ay ang
klase
mas tiyak sa
karne
,
kung gayon
** bagay ng buhay
ay ang
klase
mas tiyak sa
hayop
(=>
(
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 4647-4658
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
OilFromPlant
at
** ** bagay
ay ang
klase
mas tiyak sa
Seed
o
** ** ** bagay
ay ang
klase
mas tiyak sa
Fruit
,
kung gayon mayroon
** ** bagay
para sa ganoon
** ** bagay
ay ang
klase
mas tiyak sa
Halamang namumulaklak
at
initialPart
** ** ** bagay
and
** ** ** bagay
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5373-5380
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** bagay ng buhay
at
** bagay
ay ang
klase
mas tiyak sa
bagay
,
kung gayon
** bagay ng buhay
ay ang
klase
mas tiyak sa
kinapal
o
** ** bagay ng buhay
ay ang
klase
mas tiyak sa
kaanyuan ng katawan
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5147-5151
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** bagay ng buhay
at
** bagay
ay ang
klase
mas tiyak sa
Pelt
,
kung gayon
** bagay ng buhay
ay ang
klase
mas tiyak sa
Skin
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5350-5359
Kong
** bagay
ay
pareho
sa
OrganicObjectFn
** ** bagay
at
** bagay
ay ang
klase
mas tiyak sa
WoodProduct
at
** ** bagay
ay ang
klase
mas tiyak sa
PlantStem
,
kung gayon mayroon
** ** bagay
para sa ganoon
** ** bagay
ay ang
klase
mas tiyak sa
BotanicalTree
at
initialPart
** ** ** bagay
and
** ** ** bagay
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1779-1787
Kong
** bagay
ay
pareho
sa
AttrFn
** ** bagay
and
katangian
at
** bagay
ay ang
kasapi
sa
** bagay
,
kung gayon
** ** bagay
ay ang
kasapi
sa
** ** bagay
at
** ** bagay
ay ang
klase
mas tiyak sa
** ** ** bagay
at
** ** bagay
may katangian ng
** katangian
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3955-3960
Kong
bagay
ay ang
kasapi
sa
AegilopsGrass
at
** bagay
ay ang
bahagi
ng
** bagay
at
** ** bagay
ay ang
kasapi
sa
** ** bagay
LASS,
kung gayon
** ** bagay
LASS ay ang
klase
mas tiyak sa
DiploidCell
(=>
(
and
(
instance
?C
CommonWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4078-4083
Kong
bagay
ay ang
kasapi
sa
CommonWheatGrass
at
** bagay
ELL ay ang
bahagi
ng
** bagay
at
** bagay
ELL ay ang
kasapi
sa
** bagay
LASS,
kung gayon
** bagay
LASS ay ang
klase
mas tiyak sa
HexaploidCell
(=>
(
and
(
instance
?C
SpeltWheatGrass
)
(
part
?CELL ?C)
(
instance
?CELL ?CLASS))
(
subclass
?CLASS
HexaploidCell
))
Economy.kif 4108-4113
Kong
bagay
ay ang
kasapi
sa
SpeltWheatGrass
at
** bagay
ELL ay ang
bahagi
ng
** bagay
at
** bagay
ELL ay ang
kasapi
sa
** bagay
LASS,
kung gayon
** bagay
LASS ay ang
klase
mas tiyak sa
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 12070-12082
Kong
paraan
ay ang
kasapi
sa
Deciding
at
** paraan
ang kumakatawan sa
kinatawan may kaalaman
at
isang huwego
ay ang
kasapi
sa
isang huwego
at
** isang huwego
ay
sumasali
ng
** paraan
at
kahit ano
ay ang
elemento
sa
** isang huwego
,
kung gayon
** kinatawan may kaalaman
naniniwala mayroon
** kahit ano
para sa ganoon
** kahit ano
ay ang
kasapi
sa
** ** kahit ano
at
** ** kahit ano
ay ang
klase
mas tiyak sa
paraan ng pagkusa
at kaya
** ** kahit ano
gawin
kumakatawan
(=>
(
and
(
instance
?E
DurumWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 4019-4024
Kong
bagay
ay ang
kasapi
sa
DurumWheatGrass
at
** bagay
ay ang
bahagi
ng
** bagay
at
** ** bagay
ay ang
kasapi
sa
** ** bagay
LASS,
kung gayon
** ** bagay
LASS ay ang
klase
mas tiyak sa
TetraploidCell
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4049-4054
Kong
bagay
ay ang
kasapi
sa
EinkornWheatGrass
at
** bagay
ay ang
bahagi
ng
** bagay
at
** bagay
ay ang
kasapi
sa
** ** bagay
LASS,
kung gayon
** ** bagay
LASS ay ang
klase
mas tiyak sa
DiploidCell
(=>
(
and
(
instance
?E
EmmerWheatGrass
)
(
part
?C ?E)
(
instance
?C ?CLASS))
(
subclass
?CLASS
TetraploidCell
))
Economy.kif 3987-3992
Kong
bagay
ay ang
kasapi
sa
EmmerWheatGrass
at
** bagay
ay ang
bahagi
ng
** bagay
at
** ** bagay
ay ang
kasapi
sa
** ** bagay
LASS,
kung gayon
** ** bagay
LASS ay ang
klase
mas tiyak sa
TetraploidCell
(=>
(
and
(
instance
?E
TriticumUrartu
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4063-4068
Kong
bagay
ay ang
kasapi
sa
TriticumUrartu
at
** bagay
ay ang
bahagi
ng
** bagay
at
** bagay
ay ang
kasapi
sa
** ** bagay
LASS,
kung gayon
** ** bagay
LASS ay ang
klase
mas tiyak sa
DiploidCell
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5600-5608
Kong
paraan
ay ang
kasapi
sa
Felling
at
kahit ano
ay ang
hangga
ng
** paraan
,
kung gayon mayroon
** kahit ano
TEM para sa ganoon
** kahit ano
ay ang
kasapi
sa
DeadFn
** kahit ano
TEM at
** kahit ano
TEM ay ang
klase
mas tiyak sa
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18374-18382
Kong
paraan
ay ang
kasapi
sa
Harvesting
at
kahit ano
ay ang
hangga
ng
** paraan
,
kung gayon mayroon
** kahit ano
RG para sa ganoon
** kahit ano
ay ang
kasapi
sa
DeadFn
** kahit ano
RG at
** kahit ano
RG ay ang
klase
mas tiyak sa
bagay ng buhay
(=>
(
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 3508-3537
Kong
WearableItem
ay ang
kasapi
sa
HearingProtection
at
hayop
ay ang
kasapi
sa
tao
at
wears
** hayop
and
** WearableItem
,
kung gayon
** WearableItem
may ang
layon
mayroon
kahit ano
,
** kahit ano
, and at
** kahit ano
para sa ganoon
** kahit ano
ay ang
kasapi
sa
paraan
at
** ** kahit ano
ay ang
klase
mas tiyak sa ang
klase
ilarawan ng
** ** kahit ano
at
** kahit ano
nagpipigil
** ** kahit ano
at
** WearableItem
ay ang
kasangkapan
ng
** kahit ano
(=>
(
and
(
instance
?MENU
AlcoholMenu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
AlcoholicBeverage
))
Dining.kif 219-223
Kong
Catalog
ay ang
kasapi
sa
AlcoholMenu
at
catalogItem
** kahit ano
and
** Catalog
,
kung gayon
** kahit ano
ay ang
klase
mas tiyak sa
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 886-897
FitForMilitaryServiceMaleFn
laki ukol sa politika sa pamahalaan
ay
pareho
sa an bilang
halimbawa
sa ang
klase
ilarawan ng
teksto
(
exists
(?T)
(
and
(
subclass
?T
HandToolBox
)
(
manufacturer
?T
SortimoCorp
)))
Cars.kif 5170-5173
Mayroon
** bagay
para sa ganoon
** bagay
ay ang
klase
mas tiyak sa
HandToolBox
at
manufacturer
** ** bagay
and
SortimoCorp
appearance as argument number 0
(
subclass
AAM
AirAttackMissile
)
MilitaryDevices.kif 1170-1170
AAM
ay ang
klase
mas tiyak sa
AirAttackMissile
(
subclass
AAM
AirLaunchMissile
)
MilitaryDevices.kif 1169-1169
AAM
ay ang
klase
mas tiyak sa
AirLaunchMissile
(
subclass
AAM
GuidedMissile
)
MilitaryDevices.kif 1171-1171
AAM
ay ang
klase
mas tiyak sa
GuidedMissile
(
subclass
AAV
AmphibiousVehicle
)
MilitaryDevices.kif 1647-1647
AAV
ay ang
klase
mas tiyak sa
AmphibiousVehicle
(
subclass
AAV
MilitaryVehicle
)
MilitaryDevices.kif 1646-1646
AAV
ay ang
klase
mas tiyak sa
MilitaryVehicle
(
subclass
AAV
PassengerVehicle
)
MilitaryDevices.kif 1648-1648
AAV
ay ang
klase
mas tiyak sa
PassengerVehicle
(
subclass
AAV
PoweredVehicle
)
MilitaryDevices.kif 1649-1649
AAV
ay ang
klase
mas tiyak sa
PoweredVehicle
(
subclass
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
Nerve
)
Muscles.kif 778-778
ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve
ay ang
klase
mas tiyak sa
Nerve
(
subclass
ACPowerSource
PowerSource
)
Mid-level-ontology.kif 26651-26651
ACPowerSource
ay ang
klase
mas tiyak sa
PowerSource
(
subclass
ADHD
PsychologicalDysfunction
)
Medicine.kif 3281-3281
ADHD
ay ang
klase
mas tiyak sa
sakit sa pag-iisip
(
subclass
AGM
AirLaunchMissile
)
MilitaryDevices.kif 1123-1123
AGM
ay ang
klase
mas tiyak sa
AirLaunchMissile
(
subclass
AGM
GroundAttackMissile
)
MilitaryDevices.kif 1124-1124
AGM
ay ang
klase
mas tiyak sa
GroundAttackMissile
(
subclass
AGM114
AGM
)
MilitaryDevices.kif 1203-1203
AGM114
ay ang
klase
mas tiyak sa
AGM
(
subclass
AGM114
AntiArmorWeapon
)
MilitaryDevices.kif 1205-1205
AGM114
ay ang
klase
mas tiyak sa
AntiArmorWeapon
(
subclass
AGM114
BeamRidingGMissile
)
MilitaryDevices.kif 1204-1204
AGM114
ay ang
klase
mas tiyak sa
BeamRidingGMissile
(
subclass
AGM65
AGM
)
MilitaryDevices.kif 1136-1136
AGM65
ay ang
klase
mas tiyak sa
AGM
(
subclass
AGM65
AntiArmorWeapon
)
MilitaryDevices.kif 1138-1138
AGM65
ay ang
klase
mas tiyak sa
AntiArmorWeapon
(
subclass
AGM65
InfraRedGMissile
)
MilitaryDevices.kif 1137-1137
AGM65
ay ang
klase
mas tiyak sa
InfraRedGMissile
(
subclass
AH1
Helicopter
)
MilitaryDevices.kif 1889-1889
AH1
ay ang
klase
mas tiyak sa
Helicopter
(
subclass
AH1
MilitaryVehicle
)
MilitaryDevices.kif 1890-1890
AH1
ay ang
klase
mas tiyak sa
MilitaryVehicle
(
subclass
AIM9
AAM
)
MilitaryDevices.kif 1177-1177
AIM9
ay ang
klase
mas tiyak sa
AAM
(
subclass
AIM9
InfraRedGMissile
)
MilitaryDevices.kif 1178-1178
AIM9
ay ang
klase
mas tiyak sa
InfraRedGMissile
(
subclass
AMEV
Ambulance
)
MilitaryDevices.kif 2130-2130
AMEV
ay ang
klase
mas tiyak sa
Ambulance
(
subclass
AMEV
LandVehicle
)
MilitaryDevices.kif 2129-2129
AMEV
ay ang
klase
mas tiyak sa
LandVehicle
(
subclass
AMEV
MilitaryVehicle
)
MilitaryDevices.kif 2128-2128
AMEV
ay ang
klase
mas tiyak sa
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