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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - domainSubclass
domainSubclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 263-265
No TPTP formula. May not be expressible in strict first order. Merge.kif 259-262
No TPTP formula. May not be expressible in strict first order. Merge.kif 256-256 The number 1 argument of domain subclass is an instance of relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 257-257 The number 2 argument of domain subclass is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 258-258 The number 3 argument of domain subclass is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 255-255 domain subclass is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 293-293
No TPTP formula. May not be expressible in strict first order. english_format.kif 179-179
No TPTP formula. May not be expressible in strict first order. french_format.kif 169-169
No TPTP formula. May not be expressible in strict first order. relations-it.txt 84-84
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 114-114
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 178-178
No TPTP formula. May not be expressible in strict first order. relations-de.txt 381-381
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 124-124
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 118-118
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 294-294 "子类别的定义域" is the printable form of domain subclass in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3774-3774 "domain subclass" is the printable form of domain subclass in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 564-564 "«الرَّقَم مُتَغَيِّر مٌسْتَقِل لـ صِنْف فَرعِي لـ»" is the printable form of domain subclass in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 184-184 "lupain klase mas baba" is the printable form of domain subclass in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3180-3185
No TPTP formula. May not be expressible in strict first order. Merge.kif 273-279
No TPTP formula. May not be expressible in strict first order. Merge.kif 473-478
No TPTP formula. May not be expressible in strict first order. Merge.kif 267-271

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 267-271

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8829-8829 The number 1 argument of AfternoonFn is a subclass of day
No TPTP formula. May not be expressible in strict first order. WMD.kif 87-87 The number 1 argument of AgentOfOrganismFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Society.kif 1104-1104 The number 1 argument of AgricultureFn is a subclass of AgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Music.kif 949-949 The number 2 argument of album copies function is a subclass of DataStorageDevice
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 584-584 The number 2 argument of cell part is a subclass of cell part
No TPTP formula. May not be expressible in strict first order. Music.kif 1061-1061 The number 1 argument of contest function is a subclass of contest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27461-27461 The number 1 argument of CoveringFn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Merge.kif 8657-8657 The number 2 argument of day is a subclass of month
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 235-235 The number 1 argument of DeadFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 15486-15486 The number 1 argument of edition is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8871-8871 The number 1 argument of EveningFn is a subclass of day
No TPTP formula. May not be expressible in strict first order. Food.kif 1135-1135 The number 1 argument of FarmOfProductFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Food.kif 1136-1136 The number 2 argument of FarmOfProductFn is a subclass of cultivated land area
No TPTP formula. May not be expressible in strict first order. Economy.kif 3726-3726 The number 2 argument of fiscal year starting is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 14857-14857 The number 1 argument of FoodForFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 5568-5568 The number 1 argument of generalized intersection is a subclass of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5555-5555 The number 1 argument of generalized union is a subclass of set or class
No TPTP formula. May not be expressible in strict first order. Geography.kif 6236-6236 The number 1 argument of GeographicPartTypeFn is a subclass of geographic area
No TPTP formula. May not be expressible in strict first order. Merge.kif 8685-8685 The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order. Food.kif 640-640 The number 1 argument of JuiceOfFn is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order. Merge.kif 18629-18629 The number 1 argument of MakingFn is a subclass of making
No TPTP formula. May not be expressible in strict first order. Merge.kif 8715-8715 The number 2 argument of minute is a subclass of hour
No TPTP formula. May not be expressible in strict first order. Merge.kif 8634-8634 The number 1 argument of month is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8635-8635 The number 2 argument of month is a subclass of year
No TPTP formula. May not be expressible in strict first order. Merge.kif 8817-8817 The number 1 argument of MorningFn is a subclass of day

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