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

Formal Language: 



KB Term:  Term intersection
English Word: 

  memberType

Sigma KEE - memberType
memberType

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22074-22076
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22071-22071 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 22072-22072 The number 2 argument of member type is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22070-22070 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 37026-37026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37025-37025
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37024-37024

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22078-22082

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 166-171
No TPTP formula. May not be expressible in strict first order. Hotel.kif 228-233
No TPTP formula. May not be expressible in strict first order. Hotel.kif 213-218
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2852-2861
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2872-2883
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2833-2842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30332-30347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30276-30286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30299-30314
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 9913-9925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25335-25342
No TPTP formula. May not be expressible in strict first order. Sports.kif 1053-1066
No TPTP formula. May not be expressible in strict first order. Sports.kif 1090-1096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3468-3470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7601-7607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10745-10747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24734-24743
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25278-25284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25286-25294
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1698-1700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25465-25469
No TPTP formula. May not be expressible in strict first order. Hotel.kif 138-140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26337-26341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22093-22099

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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