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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 334-335
No TPTP formula. May not be expressible in strict first order. Merge.kif 332-332 The number 1 argument of range subclass is an instance of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 333-333 The number 2 argument of range subclass is a subclass of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 331-331 range subclass is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 330-330 range subclass is an instance of binary predicate

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. chinese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48747-48747
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48746-48746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48745-48745

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 337-341
No TPTP formula. May not be expressible in strict first order. Merge.kif 349-355
No TPTP formula. May not be expressible in strict first order. Merge.kif 438-443
No TPTP formula. May not be expressible in strict first order. Merge.kif 343-347

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 343-347

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 88-88 The values returned by AgentOfOrganismFn are subclasses of biological agent
No TPTP formula. May not be expressible in strict first order. Music.kif 929-929 The values returned by album copies function are subclasses of DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Merge.kif 1722-1722 The values returned by attr are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14709-14709 The values returned by BodySideFn are subclasses of body part
No TPTP formula. May not be expressible in strict first order. Government.kif 673-673 The values returned by constitution are subclasses of constitution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29138-29138 The values returned by CoveringFn are subclasses of wearable item
No TPTP formula. May not be expressible in strict first order. Merge.kif 5982-5982 The values returned by cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 8498-8498 The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 109-109 The values returned by DeadFn are subclasses of OrganismRemains
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30033-30033 The values returned by DemonymFn are subclasses of NationalPerson
No TPTP formula. May not be expressible in strict first order. Geography.kif 2935-2935 The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9552-9552 The values returned by edema are subclasses of swelling
No TPTP formula. May not be expressible in strict first order. Merge.kif 15241-15241 The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order. Government.kif 1683-1683 The values returned by election are subclasses of election
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4478-4478 The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order. Food.kif 1081-1081 The values returned by FarmOfProductFn are subclasses of cultivated land area
No TPTP formula. May not be expressible in strict first order. Economy.kif 3708-3708 The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 14595-14595 The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 6603-6603 The values returned by GeographicPartTypeFn are subclasses of geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 5966-5966 The values returned by graph path are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 8523-8523 The values returned by hour are subclasses of hour
No TPTP formula. May not be expressible in strict first order. Merge.kif 13230-13230 The values returned by impairment are subclasses of biological process
No TPTP formula. May not be expressible in strict first order. Merge.kif 6495-6495 The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order. Food.kif 578-578 The values returned by JuiceOfFn are subclasses of Juice
No TPTP formula. May not be expressible in strict first order. Merge.kif 18111-18111 The values returned by MakingFn are subclasses of object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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