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. Merge.kif 372-373
No TPTP formula. May not be expressible in strict first order. Merge.kif 370-371
No TPTP formula. May not be expressible in strict first order. Merge.kif 368-368 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 369-369 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 367-367 range subclass is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 366-366 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 197-197
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. portuguese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 132-132
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-tg.txt 432-432
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 330-330 "子类别的范围" is the printable form of range subclass in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8552-8552 "range subclass" is the printable form of range subclass in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 582-582 "«القِيَم النَاتِجَة عَن هي صِنْف فَرْعِي مِن»" is the printable form of range subclass in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 375-379
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-393
No TPTP formula. May not be expressible in strict first order. Merge.kif 487-492
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-385

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 381-385

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


No TPTP formula. May not be expressible in strict first order. Facebook.kif 99-99 The values returned by AccountOfServiceFn are subclasses of social networking account
No TPTP formula. May not be expressible in strict first order. Merge.kif 8830-8830 The values returned by AfternoonFn are subclasses of afternoon
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. Society.kif 1105-1105 The values returned by AgricultureFn are subclasses of agriculture
No TPTP formula. May not be expressible in strict first order. Music.kif 950-950 The values returned by album copies function are subclasses of DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Government.kif 669-669 The values returned by constitution are subclasses of constitution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27462-27462 The values returned by CoveringFn are subclasses of wearable item
No TPTP formula. May not be expressible in strict first order. Merge.kif 6167-6167 The values returned by cut set are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 8658-8658 The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 236-236 The values returned by DeadFn are subclasses of OrganismRemains
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28326-28326 The values returned by DemonymFn are subclasses of NationalPerson
No TPTP formula. May not be expressible in strict first order. Geography.kif 2860-2860 The values returned by document are subclasses of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 15488-15488 The values returned by edition are subclasses of content bearing object
No TPTP formula. May not be expressible in strict first order. Government.kif 1646-1646 The values returned by election are subclasses of election
No TPTP formula. May not be expressible in strict first order. Merge.kif 8872-8872 The values returned by EveningFn are subclasses of Evening
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 14858-14858 The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 6238-6238 The values returned by GeographicPartTypeFn are subclasses of geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 6150-6150 The values returned by graph path are subclasses of graph path
No TPTP formula. May not be expressible in strict first order. Merge.kif 8686-8686 The values returned by hour are subclasses of hour
No TPTP formula. May not be expressible in strict first order. Merge.kif 6719-6719 The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order. Food.kif 641-641 The values returned by JuiceOfFn are subclasses of Juice
No TPTP formula. May not be expressible in strict first order. Merge.kif 18630-18630 The values returned by MakingFn are subclasses of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 6176-6176 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 8716-8716 The values returned by minute are subclasses of minute

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners