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

Formal Language: 



KB Term:  Term intersection
English Word: 

  rangeSubclass

Sigma KEE - rangeSubclass
rangeSubclass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1492-1493
No TPTP formula. May not be expressible in strict first order. Merge.kif 336-337
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 53-54
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 58-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 334-334 範圍子類, 1 and Function
No TPTP formula. May not be expressible in strict first order. Merge.kif 335-335 域子類 範圍子類, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 333-333 範圍子類 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 332-332 範圍子類 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 329-329
No TPTP formula. May not be expressible in strict first order. english_format.kif 334-334
No TPTP formula. May not be expressible in strict first order. french_format.kif 187-187
No TPTP formula. May not be expressible in strict first order. relations-it.txt 240-240
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2007-2007
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order. relations-de.txt 433-433
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 278-278
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 207-207
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 198-198
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 432-432
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48764-48764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48763-48763
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48762-48762

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 339-343
No TPTP formula. May not be expressible in strict first order. Merge.kif 351-357
No TPTP formula. May not be expressible in strict first order. Merge.kif 440-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 345-349

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 345-349

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 88-88 範圍子類 AgentOfOrganismFn and 生物製劑
No TPTP formula. May not be expressible in strict first order. Music.kif 932-932 範圍子類 AlbumCopiesFn and DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Merge.kif 1776-1776 範圍子類 attr and Object
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6235-6235 範圍子類 BodyAreaFn and BodyPart
No TPTP formula. May not be expressible in strict first order. Merge.kif 14973-14973 範圍子類 BodySideFn and BodyPart
No TPTP formula. May not be expressible in strict first order. Government.kif 675-675 範圍子類 憲法 and 憲法
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29726-29726 範圍子類 CoveringFn and 可穿戴物品
No TPTP formula. May not be expressible in strict first order. Merge.kif 6072-6072 範圍子類 切集 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 8590-8590 範圍子類 and Day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 116-116 範圍子類 DeadFn and OrganismRemains
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30631-30631 範圍子類 DemonymFn and NationalPerson
No TPTP formula. May not be expressible in strict first order. Geography.kif 3013-3013 範圍子類 文獻 and Text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9980-9980 範圍子類 EdemaFn and Edema
No TPTP formula. May not be expressible in strict first order. Merge.kif 15510-15510 範圍子類 and ContentBearingObject
No TPTP formula. May not be expressible in strict first order. Government.kif 1686-1686 範圍子類 選舉 and 選舉
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4515-4515 範圍子類 FailureFn and Process
No TPTP formula. May not be expressible in strict first order. Food.kif 3668-3668 範圍子類 FarmOfProductFn and 耕地面積
No TPTP formula. May not be expressible in strict first order. Economy.kif 3698-3698 範圍子類 財政年度 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Merge.kif 14859-14859 範圍子類 FoodForFn and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order. Geography.kif 6915-6915 範圍子類 GeographicPartTypeFn and GeographicArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 6056-6056 範圍子類 圖形路徑 and GraphPath
No TPTP formula. May not be expressible in strict first order. Merge.kif 8615-8615 範圍子類 小時 and Hour
No TPTP formula. May not be expressible in strict first order. Merge.kif 13470-13470 範圍子類 ImpairmentFn and BiologicalProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 6585-6585 範圍子類 間隔 and ConstantQuantity
No TPTP formula. May not be expressible in strict first order. Food.kif 2600-2600 範圍子類 JuiceOfFn and Juice

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