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

Formal Language: 



KB Term:  Term intersection
English Word: 

  member

Sigma KEE - member
member

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1633-1634
No TPTP formula. May not be expressible in strict first order. Merge.kif 1181-1183
No TPTP formula. May not be expressible in strict first order. Merge.kif 1176-1176 The number 1 argument of member is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1177-1177 The number 2 argument of member is an instance of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1173-1173 member is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1174-1174 member is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1175-1175 member is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1179-1179 member is internally related to element
No TPTP formula. May not be expressible in strict first order. Merge.kif 1178-1178 member is internally related to instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 153-153
No TPTP formula. May not be expressible in strict first order. english_format.kif 157-157
No TPTP formula. May not be expressible in strict first order. Government.kif 2367-2367 associate in organization is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7244-7244 group member is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14416-14416 student is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14447-14447 teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36919-36919
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 154-154
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36918-36918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36917-36917

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3534-3536 An object is a member of international red cross and red crescent movement if and only if the object is a member of international federation of red cross and red crescent societies
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3438-3442
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3481-3485
No TPTP formula. May not be expressible in strict first order. Economy.kif 501-505
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2786-2790
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2866-2870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4247-4251
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3739-3748
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3733-3737
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3750-3760
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3787-3796
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3781-3785
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3798-3808
No TPTP formula. May not be expressible in strict first order. Media.kif 3177-3182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7252-7259
No TPTP formula. May not be expressible in strict first order. Government.kif 1721-1726
No TPTP formula. May not be expressible in strict first order. Transportation.kif 961-965
No TPTP formula. May not be expressible in strict first order. Government.kif 3154-3158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21449-21459
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3406-3421
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20235-20243
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 182-197
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 176-180

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. People.kif 797-801 An attribute is an attribute of an object and the attribute is an instance of christian if and only if the object is a member of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 678-680 A member of a belief group is an attribute of an object if and only if the object is a member of the belief group
No TPTP formula. May not be expressible in strict first order. People.kif 704-706 Agnostic is an attribute of an object if and only if the object is a member of agnosticism
No TPTP formula. May not be expressible in strict first order. People.kif 1349-1351 Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
No TPTP formula. May not be expressible in strict first order. People.kif 1227-1229 Anglican is an attribute of an object if and only if the object is a member of anglicanism
No TPTP formula. May not be expressible in strict first order. People.kif 1235-1237 Anglican is an attribute of an object if and only if the object is a member of church of england
No TPTP formula. May not be expressible in strict first order. People.kif 722-724 Atheist is an attribute of an object if and only if the object is a member of atheism
No TPTP formula. May not be expressible in strict first order. People.kif 759-761 Bahai is an attribute of an object if and only if the object is a member of bahaism
No TPTP formula. May not be expressible in strict first order. People.kif 771-773 Buddhist is an attribute of an object if and only if the object is a member of buddhism
No TPTP formula. May not be expressible in strict first order. People.kif 1308-1310 Confucianist is an attribute of an object if and only if the object is a member of confucianism
No TPTP formula. May not be expressible in strict first order. People.kif 1363-1365 Druze muslim is an attribute of an object if and only if the object is a member of druze sect
No TPTP formula. May not be expressible in strict first order. People.kif 1249-1251 Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
No TPTP formula. May not be expressible in strict first order. People.kif 1320-1322 Hindu is an attribute of an object if and only if the object is a member of hinduism
No TPTP formula. May not be expressible in strict first order. People.kif 1413-1415 Jain is an attribute of an object if and only if the object is a member of jainism
No TPTP formula. May not be expressible in strict first order. People.kif 1332-1334 Muslim is an attribute of an object if and only if the object is a member of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1459-1461 Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
No TPTP formula. May not be expressible in strict first order. People.kif 1263-1265 Protestant is an attribute of an object if and only if the object is a member of protestantism
No TPTP formula. May not be expressible in strict first order. People.kif 1430-1432 Religious jew is an attribute of an object if and only if the object is a member of judaism
No TPTP formula. May not be expressible in strict first order. People.kif 1285-1287 Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
No TPTP formula. May not be expressible in strict first order. People.kif 1277-1279 Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism
No TPTP formula. May not be expressible in strict first order. People.kif 1379-1381 Shia muslim is an attribute of an object if and only if the object is a member of shiite sect
No TPTP formula. May not be expressible in strict first order. People.kif 1474-1476 Shintoist is an attribute of an object if and only if the object is a member of shinto
No TPTP formula. May not be expressible in strict first order. People.kif 1489-1491 Sikh is an attribute of an object if and only if the object is a member of sikhism
No TPTP formula. May not be expressible in strict first order. People.kif 1398-1400 Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect
No TPTP formula. May not be expressible in strict first order. People.kif 1504-1506 Taoist is an attribute of an object if and only if the object is a member of taoism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1972-1980 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity
No TPTP formula. May not be expressible in strict first order. Government.kif 3150-3150 Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3151-3151 Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3152-3152 United kingdom is not a member of european monetary union

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3130-3130 Austria is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2588-2588 Baker island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 2834-2834 Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3131-3131 Belgium is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3132-3132 Cyprus is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3133-3133 Estonia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3134-3134 Finland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3135-3135 France is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3136-3136 Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3137-3137 Greece is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2589-2589 Howland island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 3138-3138 Ireland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3139-3139 Italy is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2590-2590 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2595-2595 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2591-2591 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 3140-3140 Latvia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3141-3141 Lithuania is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 2836-2836 Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3142-3142 Luxembourg is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3143-3143 Malta is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2596-2596 Midway islands is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2592-2592 Navassa island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 2835-2835 Netherlands is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3144-3144 Netherlands is a member of european monetary union

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