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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Group

Sigma KEE - Group
Group(group)
Age_of_Reason, Arthurian, Asia, Bloomsbury_Group, Central_America, Chabad, Chabad-Lubavitch, Clovis_culture, Counter_Reformation, DINK, Demerara, Dutch, Dutch_people, Enlightenment, Europe, FTO, Ferdinand_and_Isabella, Folsom_culture, Four_Hundred, Gallicanism, Greek_chorus, Grub_Street, INC, Iraqi_National_Congress, Kashag, Laurel_and_Hardy, Lewis_and_Clark_Expedition, Lords_Temporal, Lost_Tribes, Lubavitch, Lubavitch_movement, Magi, New_Amsterdam, North_America, Oxford_movement, Pietism, Plantation, Plymouth_Colony, Praetorian_Guard, Protestant_Reformation, Rastafari, Rastas, Red_Guard, Reformation, South_America, TV_audience, Trimurti, Trojan_horse, Tweedledee_and_Tweedledum, Tweedledum_and_Tweedledee...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3668-3669
No TPTP formula. May not be expressible in strict first order. Merge.kif 15943-15944
No TPTP formula. May not be expressible in strict first order. pictureList.kif 477-477
No TPTP formula. May not be expressible in strict first order. Merge.kif 15942-15942 Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15941-15941 Group is a subclass of collection

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 3283-3283 The range of ship crew is an instance of group
No TPTP formula. May not be expressible in strict first order. engineering.kif 1334-1334 File system is a subclass of group
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7152-7152 Group of animals is a subclass of group
No TPTP formula. May not be expressible in strict first order. Merge.kif 15952-15952 Group of people is a subclass of group
No TPTP formula. May not be expressible in strict first order. Merge.kif 16322-16322 Organization is a subclass of group
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1063-1063
No TPTP formula. May not be expressible in strict first order. english_format.kif 1337-1337

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2410-2410 The number 2 argument of associate in organization is an instance of group
No TPTP formula. May not be expressible in strict first order. Government.kif 2422-2422 The number 3 argument of associate with status is an instance of group
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26020-26020 The number 1 argument of has uniform is an instance of group

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1772-1786
No TPTP formula. May not be expressible in strict first order. Merge.kif 15946-15950

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


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


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