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 335-336
No TPTP formula. May not be expressible in strict first order. Merge.kif 333-333 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 334-334 The number 2 argument of range subclass is a subclass of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 332-332 range subclass is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 331-331 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 337-337
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 48692-48692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48691-48691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48690-48690

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 338-342
No TPTP formula. May not be expressible in strict first order. Merge.kif 350-356
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 344-348

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 344-348

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 928-928 The values returned by album copies function are subclasses of DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Government.kif 662-662 The values returned by constitution are subclasses of constitution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27942-27942 The values returned by CoveringFn are subclasses of wearable item
No TPTP formula. May not be expressible in strict first order. Merge.kif 5768-5768 The values returned by cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 8064-8064 The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 235-235 The values returned by DeadFn are subclasses of OrganismRemains
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28808-28808 The values returned by DemonymFn are subclasses of NationalPerson
No TPTP formula. May not be expressible in strict first order. Geography.kif 2872-2872 The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14376-14376 The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order. Government.kif 1640-1640 The values returned by election are subclasses of election
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4435-4435 The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order. Food.kif 1091-1091 The values returned by FarmOfProductFn are subclasses of cultivated land area
No TPTP formula. May not be expressible in strict first order. Economy.kif 3701-3701 The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 13832-13832 The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 6346-6346 The values returned by GeographicPartTypeFn are subclasses of geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 5752-5752 The values returned by graph path are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 8089-8089 The values returned by hour are subclasses of hour
No TPTP formula. May not be expressible in strict first order. Merge.kif 6280-6280 The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order. Food.kif 596-596 The values returned by JuiceOfFn are subclasses of Juice
No TPTP formula. May not be expressible in strict first order. Merge.kif 17039-17039 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 5776-5776 The values returned by minimal cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 8115-8115 The values returned by minute are subclasses of minute
No TPTP formula. May not be expressible in strict first order. Merge.kif 8047-8047 The values returned by month are subclasses of month
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1496-1496 The values returned by network communication function are subclasses of NetworkCommunication

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