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 24293-24295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24290-24290 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 24291-24291 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 24289-24289 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 1699-1699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1698-1698
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1697-1697
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37046-37046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37045-37045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37044-37044

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 709-717
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 800-809
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1010-1031
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 980-990
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 957-972
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 927-937
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 945-955
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 998-1008
No TPTP formula. May not be expressible in strict first order. Economy.kif 4307-4322
No TPTP formula. May not be expressible in strict first order. Economy.kif 4248-4263
No TPTP formula. May not be expressible in strict first order. Economy.kif 4216-4231
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 902-911
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 872-881
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 883-894
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 725-737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24297-24301
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3947-3959
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3919-3931
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3933-3945

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 4307-4322
No TPTP formula. May not be expressible in strict first order. Economy.kif 4248-4263
No TPTP formula. May not be expressible in strict first order. Economy.kif 4216-4231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2061-2072
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2894-2903
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2914-2925
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2875-2884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32892-32907
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32834-32844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32859-32874
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4028-4041
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 11717-11729
No TPTP formula. May not be expressible in strict first order. Economy.kif 6711-6715
No TPTP formula. May not be expressible in strict first order. Economy.kif 6745-6750
No TPTP formula. May not be expressible in strict first order. Economy.kif 6792-6816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11674-11686
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 505-513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27866-27873
No TPTP formula. May not be expressible in strict first order. Sports.kif 1139-1152
No TPTP formula. May not be expressible in strict first order. Sports.kif 1176-1182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3959-3961

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