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

Formal Language: 


KB Term:  Term intersection
English Word: 

  subclass

Sigma KEE - subclass
subclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1371-1373
No TPTP formula. May not be expressible in strict first order. Merge.kif 133-135
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 27-29
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 28-30
No TPTP formula. May not be expressible in strict first order. Merge.kif 131-131 子类别 的 1 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 132-132 子类别 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 129-129 子类别二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18660-18660 子类别ClosedWorldPredicateinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 130-130 子类别偏序关系instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 319-319
No TPTP formula. May not be expressible in strict first order. english_format.kif 324-324
No TPTP formula. May not be expressible in strict first order. french_format.kif 182-182
No TPTP formula. May not be expressible in strict first order. relations-it.txt 271-271
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2002-2002
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order. relations-de.txt 419-419
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 308-308
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 202-202
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 192-192
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 463-463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22956-22956 子领域子类别subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55708-55708 子领域子类别subrelation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 320-320 子领域子类别subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55707-55707 子领域子类别subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55706-55706 子领域子类别subrelation
No TPTP formula. May not be expressible in strict first order. terms-de.txt 133-133 子领域子类别subrelation

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3987-4007
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1194-1209
No TPTP formula. May not be expressible in strict first order. Biography.kif 738-748
No TPTP formula. May not be expressible in strict first order. WMD.kif 789-793
No TPTP formula. May not be expressible in strict first order. WMD.kif 976-980
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. Government.kif 583-589
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14886-14897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14855-14866
No TPTP formula. May not be expressible in strict first order. WMD.kif 957-961
No TPTP formula. May not be expressible in strict first order. WMD.kif 963-967
No TPTP formula. May not be expressible in strict first order. Economy.kif 2352-2361
No TPTP formula. May not be expressible in strict first order. Economy.kif 2396-2405
No TPTP formula. May not be expressible in strict first order. Economy.kif 2442-2451
No TPTP formula. May not be expressible in strict first order. Economy.kif 2220-2229
No TPTP formula. May not be expressible in strict first order. Food.kif 2883-2889
No TPTP formula. May not be expressible in strict first order. Economy.kif 4967-4972
No TPTP formula. May not be expressible in strict first order. Economy.kif 5031-5037
No TPTP formula. May not be expressible in strict first order. Media.kif 195-200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19972-19977
No TPTP formula. May not be expressible in strict first order. Economy.kif 5285-5290
No TPTP formula. May not be expressible in strict first order. Economy.kif 4503-4509
No TPTP formula. May not be expressible in strict first order. Economy.kif 4870-4881

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33332-33339
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4203-4227
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1489-1502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25883-25893
No TPTP formula. May not be expressible in strict first order. Merge.kif 215-221
No TPTP formula. May not be expressible in strict first order. Merge.kif 3018-3023
No TPTP formula. May not be expressible in strict first order. Merge.kif 238-244
No TPTP formula. May not be expressible in strict first order. Media.kif 195-200
No TPTP formula. May not be expressible in strict first order. Economy.kif 5285-5290
No TPTP formula. May not be expressible in strict first order. Economy.kif 4870-4881
No TPTP formula. May not be expressible in strict first order. Economy.kif 5599-5606
No TPTP formula. May not be expressible in strict first order. Economy.kif 5373-5377
No TPTP formula. May not be expressible in strict first order. Economy.kif 5576-5585
No TPTP formula. May not be expressible in strict first order. Merge.kif 1790-1798
No TPTP formula. May not be expressible in strict first order. Economy.kif 4177-4182
No TPTP formula. May not be expressible in strict first order. Economy.kif 4300-4305
No TPTP formula. May not be expressible in strict first order. Economy.kif 4330-4335
No TPTP formula. May not be expressible in strict first order. Merge.kif 12164-12176
No TPTP formula. May not be expressible in strict first order. Economy.kif 4241-4246
No TPTP formula. May not be expressible in strict first order. Economy.kif 4271-4276
No TPTP formula. May not be expressible in strict first order. Economy.kif 4209-4214
No TPTP formula. May not be expressible in strict first order. Economy.kif 4285-4290
No TPTP formula. May not be expressible in strict first order. Economy.kif 5827-5835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19655-19663
No TPTP formula. May not be expressible in strict first order. Cars.kif 3508-3537

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 963-974 equal 地缘政治区域fit 对于军服务男性 and 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Cars.kif 5170-5173 有存在 有点 客体 这样 有点 客体HandToolBoxsubclassmanufacturer 那个 有点 客体 and SortimoCorp

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Muscles.kif 778-778 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerveNervesubclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28254-28254 ACPowerSource能量源subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3294-3294 ADHD心理功能障碍subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27208-27208 AMFMAlarmClockAlarmClocksubclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27209-27209 AMFMAlarmClock无线电接收器subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 293-293 AM广播电台广播电台subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 236-236 AM无线电系统无线电系统subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4075-4075 AOCnumber符号串subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3601-3601 自动提款机固定人工制品subclass
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3677-3677 ATM插槽subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4876-4876 ATVTireTiresubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2169-2169 影/音控制传输协议电脑程序subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6430-6430 AVPUStatus关联属性subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 1994-1994 AbaloneMeatMolluskMeatsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4952-4952 AbataceptImmunosupressantsubclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 527-527 阿巴亚披风subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1213-1213 僧院宗教机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14148-14148 Abdomen动物解剖结构subclass
No TPTP formula. May not be expressible in strict first order. arteries.kif 1272-1272 AbdominalAorta动脉subclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 135-135 AbducensNerveCNVINervesubclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2046-2046 Abducting身体运动subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2047-2047 AbductingMovingAwayFromsubclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1608-1608 AbductorDigitiMinimiMuscle肌肉subclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 2127-2127 AbductorHallucisMuscle肌肉subclass
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1581-1581 AbductorPollicisBrevisMuscle肌肉subclass

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