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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - member
member

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1303-1304
No TPTP formula. May not be expressible in strict first order. Merge.kif 1300-1302
No TPTP formula. May not be expressible in strict first order. Merge.kif 1296-1296 The number 1 argument of member is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1297-1297 The number 2 argument of member is an instance of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1294-1294 member is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1295-1295 member is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1299-1299 member is internally related to element
No TPTP formula. May not be expressible in strict first order. Merge.kif 1298-1298 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 103-103
No TPTP formula. May not be expressible in strict first order. french_format.kif 97-97
No TPTP formula. May not be expressible in strict first order. relations-it.txt 182-182
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 49-49
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 47-47
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 69-69
No TPTP formula. May not be expressible in strict first order. relations-de.txt 185-185
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 220-220
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 358-358
No TPTP formula. May not be expressible in strict first order. Government.kif 2373-2373 associate in organization is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7258-7258 group member is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14128-14128 student is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14159-14159 teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 154-154 "组员" is the printable form of member in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6585-6585 "member" is the printable form of member in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 497-497 "«عُضْو في»" is the printable form of member in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 359-359 "kasapi" is the printable form of member in tg

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3540-3542 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 3439-3443
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3482-3486
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 2787-2791
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2867-2871
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4239-4243
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3731-3740
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3725-3729
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3742-3752
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3779-3788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3773-3777
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3790-3800
No TPTP formula. May not be expressible in strict first order. Media.kif 3122-3127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7266-7273
No TPTP formula. May not be expressible in strict first order. Government.kif 1727-1732
No TPTP formula. May not be expressible in strict first order. Transportation.kif 919-923
No TPTP formula. May not be expressible in strict first order. Government.kif 3160-3164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21013-21023
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3407-3422
No TPTP formula. May not be expressible in strict first order. Society.kif 378-382
No TPTP formula. May not be expressible in strict first order. Society.kif 490-497
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3445-3465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19772-19780
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122

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 entity is an attribute of an object and the entity 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 1348-1350 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 1361-1363 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 1409-1411 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 1455-1457 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 1426-1428 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 1376-1378 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 1470-1472 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 1485-1487 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 1394-1396 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 1500-1502 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 a human
No TPTP formula. May not be expressible in strict first order. Government.kif 3156-3156 Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3157-3157 Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3158-3158 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 3136-3136 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 2840-2840 Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3137-3137 Belgium is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3138-3138 Cyprus is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3139-3139 Estonia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3140-3140 Finland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3141-3141 France is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3142-3142 Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3143-3143 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 3144-3144 Ireland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3145-3145 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 3146-3146 Latvia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3147-3147 Lithuania is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 2842-2842 Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3148-3148 Luxembourg is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3149-3149 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 2841-2841 Netherlands is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3150-3150 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 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