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 1242-1244
No TPTP formula. May not be expressible in strict first order. Merge.kif 1237-1237 The number 1 argument of member is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1238-1238 The number 2 argument of member is an instance of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1234-1234 member is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1235-1235 member is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1236-1236 member is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1240-1240 member is internally related to element
No TPTP formula. May not be expressible in strict first order. Merge.kif 1239-1239 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 154-154
No TPTP formula. May not be expressible in strict first order. Government.kif 2423-2423 associate in organization is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7234-7234 group member is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16235-16235 student is a subrelation of member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16306-16306 teacher is a subrelation of member
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36978-36978
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 36977-36977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36976-36976

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3595-3597 A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies
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 2789-2793
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2869-2873
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3441-3445
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3484-3488
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4250-4254
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3742-3751
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3736-3740
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3753-3763
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3790-3799
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3784-3788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3801-3811
No TPTP formula. May not be expressible in strict first order. Media.kif 3195-3200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7242-7249
No TPTP formula. May not be expressible in strict first order. Government.kif 1764-1769
No TPTP formula. May not be expressible in strict first order. Transportation.kif 972-976
No TPTP formula. May not be expressible in strict first order. Government.kif 3215-3219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22941-22951
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3409-3424
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21828-21836
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 686-688 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 712-714 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 1357-1359 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 1235-1237 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 1243-1245 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 730-732 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 767-769 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 779-781 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 1316-1318 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 1371-1373 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 1257-1259 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 1328-1330 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 1421-1423 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 1340-1342 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 1467-1469 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 1271-1273 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 1438-1440 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 1293-1295 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 1285-1287 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 1387-1389 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 1482-1484 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 1497-1499 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 1406-1408 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 1512-1514 Taoist is an attribute of an object if and only if the object is a member of taoism
No TPTP formula. May not be expressible in strict first order. People.kif 1527-1529 Zoroastrian is an attribute of an object if and only if the object is a member of zoroastrianism

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 1968-1976 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 3211-3211 Denmark is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 Sweden is not a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3213-3213 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 3191-3191 Austria is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2606-2606 Baker island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 2895-2895 Belgium is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3192-3192 Belgium is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3193-3193 Cyprus is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3194-3194 Estonia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3195-3195 Finland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3196-3196 France is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3197-3197 Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3198-3198 Greece is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2607-2607 Howland island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 3199-3199 Ireland is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3200-3200 Italy is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2608-2608 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2613-2613 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2609-2609 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 3201-3201 Latvia is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3202-3202 Lithuania is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 2897-2897 Luxembourg is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3203-3203 Luxembourg is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3204-3204 Malta is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. Media.kif 2614-2614 Midway islands is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2610-2610 Navassa island is a member of UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 2896-2896 Netherlands is a member of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3205-3205 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