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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - memberType
memberType

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22652-22654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22649-22649 The number 1 argument of member type is an instance of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22650-22650 The number 2 argument of member type is an instance of class
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22648-22648 member type is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1695-1695
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1694-1694
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1693-1693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37037-37037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37036-37036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37035-37035

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 703-711
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 794-803
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1004-1023
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 974-984
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 951-966
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 921-931
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 939-949
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 992-1002
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3985
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3926
No TPTP formula. May not be expressible in strict first order. Economy.kif 3879-3894
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 896-905
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 866-875
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 877-888
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 719-731
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22656-22660

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 171-176
No TPTP formula. May not be expressible in strict first order. Hotel.kif 233-238
No TPTP formula. May not be expressible in strict first order. Hotel.kif 218-223
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3985
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3926
No TPTP formula. May not be expressible in strict first order. Economy.kif 3879-3894
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2883-2892
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2903-2914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2864-2873
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30956-30971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30898-30908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30923-30938
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4025-4038
No TPTP formula. May not be expressible in strict first order. naics.kif 7773-7782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10386-10398
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10345-10357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25968-25975
No TPTP formula. May not be expressible in strict first order. Sports.kif 1125-1138
No TPTP formula. May not be expressible in strict first order. Sports.kif 1162-1168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3516-3518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7932-7938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11243-11245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25402-25411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11483-11485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25911-25917

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