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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Human

Sigma KEE - Human
Human
more pictures...
إِنْسَانِي, Aeschylean, Alexandrian, Ananias, Apostle, April_fool, Aquarius, Archer, Argonaut, Aries, Aristotelean, Aristotelian, Aristotelic, Arnold_of_Brescia, Audenesque, Balance, Balzacian, Beethovenian, Benedictine, Bismarckian, Black_Muslim, Black_Panther, Blimp, Bogartian, Bolshevik, Boskop_man, Bourbon, Bull, Cabalist, Caesarean, Caesarian, Cancer, Capricorn, Cartesian, Casanova, Caucasian, Caucasoid, Chaldaean, Chaldean, Chaldee, Chasid, Chassid, Church_Father, Churchillian, Coleridgean, Coleridgian, Colonel_Blimp, Colossian, Columbian, Converso...

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


s__documentation(s__Human,s__ChineseLanguage,'这是现代人,人属唯一剩下的品种。')

Merge.kif 14685-14685
s__documentation(s__Human,s__EnglishLanguage,'Modern man, the only remaining species of the Homo genus.')

Merge.kif 14683-14684
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/commons/0/03/Skydiving_4_way.jpg')

pictureList-ImageNet.kif 260-260
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg')

pictureList.kif 3118-3118
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/commons/4/42/Skeleton_diagram.svg')

pictureList.kif 3117-3117
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/commons/thumb/b/bd/Jan_Vermeer_van_Delft_009.jpg/280px-Jan_Vermeer_van_Delft_009.jpg')

pictureList-ImageNet.kif 258-258
s__externalImage(s__Human,'http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/Gazolina_zloga.jpg/250px-Gazolina_zloga.jpg')

pictureList-ImageNet.kif 259-259
s__partition_3(s__Human,s__Man,s__Woman)

Merge.kif 14682-14682
s__instance(s__CognitiveAgent,s__SetOrClass)

Merge.kif 14681-14681
s__instance(s__Human,s__SetOrClass)

Merge.kif 14680-14680

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


s__biologicalAgentCarrier(s__BordetellaPertussis,s__Human)

WMD.kif 1434-1434
s__disjoint(s__DomesticAnimal,s__Human)

Mid-level-ontology.kif 17716-17716
s__disjoint(s__Organization,s__Human)

Media.kif 35-35
s__initialPart(s__VocalCords,s__Human)

Mid-level-ontology.kif 1184-1184
s__subclass(s__HumanAdult,s__Human)

Mid-level-ontology.kif 317-317
s__instance(s__HumanYouth,s__SetOrClass)

Mid-level-ontology.kif 391-391
s__instance(s__Human,s__SetOrClass)

Merge.kif 14687-14687
s__instance(s__Human,s__SetOrClass)

Mid-level-ontology.kif 471-471
s__instance(s__Human,s__SetOrClass)

Merge.kif 14695-14695
s__termFormat(s__ChineseLanguage,s__Human,'人类')

chinese_format.kif 1002-1002
s__termFormat(s__EnglishLanguage,s__Human,'human')

english_format.kif 689-689
s__termFormat(s__FrenchLanguage,s__Human,'humain')

french_format.kif 679-679
s__termFormat(s__Hindi,s__Human,'maanava')

terms-hindi.txt 210-210
s__termFormat(s__ItalianLanguage,s__Human,'Umano')

terms-it.txt 211-211
s__termFormat(s__PortugueseLanguage,s__Human,'Humano')

portuguese_format.kif 631-631
s__termFormat(s__ar__m,s__Human,'إِنْسَانِي')

arabic_format.kif 415-415
s__termFormat(s__cb__m,s__Human,'tawo')

terms-cb.txt 215-215
s__termFormat(s__cz__m,s__Human,'human')

terms-cz.txt 247-247
s__termFormat(s__tg__m,s__Human,'tao')

terms-tg.txt 214-214
s__typicalPart(s__VocalCords,s__Human)

Mid-level-ontology.kif 1182-1182
s__typicallyContainsPart(s__VocalCords,s__Human)

Mid-level-ontology.kif 1183-1183

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


s__domain(s__DescendantsFn__m,1,s__Human)

Mid-level-ontology.kif 7170-7170
s__domain(s__ImmediateFamilyFn__m,1,s__Human)

Merge.kif 16446-16446
s__domain(s__QPViewsFn__m,1,s__Human)

UXExperimentalTerms.kif 4364-4364
s__domain(s__QualifiedTreatmentsFn__m,1,s__Human)

UXExperimentalTerms.kif 4429-4429
s__domain(s__acquaintance__m,1,s__Human)

Merge.kif 16733-16733
s__domain(s__acquaintance__m,2,s__Human)

Merge.kif 16734-16734
s__domain(s__actedIn__m,1,s__Human)

Mid-level-ontology.kif 18344-18344
s__domain(s__afterTaxIncome__m,1,s__Human)

FinancialOntology.kif 3216-3216
s__domain(s__almaMater__m,1,s__Human)

Mid-level-ontology.kif 14404-14404
s__domain(s__attends__m,2,s__Human)

Merge.kif 12973-12973
s__domain(s__attorney__m,2,s__Human)

Law.kif 486-486
s__domain(s__aunt__m,2,s__Human)

Mid-level-ontology.kif 20904-20904
s__domain(s__baptismdate__m,1,s__Human)

Biography.kif 64-64
s__domain(s__baptismplace__m,1,s__Human)

Biography.kif 77-77
s__domain(s__basedIn__m,1,s__Human)

TravelPolicies.kif 370-370
s__domain(s__beforeTaxIncome__m,1,s__Human)

FinancialOntology.kif 3233-3233
s__domain(s__birthdate__m,1,s__Human)

Mid-level-ontology.kif 21941-21941
s__domain(s__birthday__m,1,s__Human)

Mid-level-ontology.kif 21918-21918
s__domain(s__brother__m,2,s__Human)

Merge.kif 16687-16687
s__domain(s__chiefOfDiplomaticMission__m,2,s__Human)

Government.kif 4382-4382
s__domain(s__chiefOfState__m,3,s__Human)

Government.kif 1514-1514
s__domain(s__citizen__m,1,s__Human)

Merge.kif 16980-16980
s__domain(s__coaches__m,1,s__Human)

Sports.kif 422-422
s__domain(s__coaches__m,2,s__Human)

Sports.kif 423-423
s__domain(s__cohabitant__m,1,s__Human)

Mid-level-ontology.kif 20837-20837

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ∀ [V__Account,V__Agent]
   ((s__accountHolder(V__Account,V__Agent)
     ∧
     s__instance(V__Agent,s__Human))
   <⇒
   s__instance(V__Account,s__PersonalAccount))
)

FinancialOntology.kif 941-945
( ∀ [V__PERSON]
   ((s__instance(V__PERSON,s__Human) ∧
       (∀ [V__ORG]
         (¬ s__employs(V__ORG,V__PERSON))))
   <⇒
   s__attribute(V__PERSON,s__Unemployed))
)

Merge.kif 17552-17558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222
No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7270-7277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22935-22944
( ∀ [V__AGENT,V__ORG,V__POSITION]
   ((s__instance(V__AGENT,s__Human) ∧
       s__instance(V__ORG,s__Organization) ∧
       s__instance(V__POSITION,s__Position) ∧
       s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))

s__attribute(V__AGENT,s__MemberFn(V__ORG)))
)

Government.kif 1749-1755
( ∀ [V__AGENT,V__ORG,V__POSITION]
   ((s__instance(V__AGENT,s__Human) ∧
       s__instance(V__ORG,s__Organization) ∧
       s__instance(V__POSITION,s__Position) ∧
       s__attribute(V__AGENT,s__MemberRoleFn(V__ORG,V__POSITION)))

s__member(V__AGENT,V__ORG))
)

Government.kif 1757-1763
( ∀ [V__AS,V__CUST,V__H,V__ROOM]
   ((s__instance(V__AS,s__AccommodationService) ∧
       s__serviceRecipient(V__AS,V__CUST)
     ∧
     s__serviceProvider(V__AS,V__H)
   ∧
   s__serviceInstrument(V__AS,V__ROOM)

s__instance(V__CUST,s__Human) ∧
s__instance(V__ROOM,s__HotelRoom) ∧
s__instance(V__H,s__Hotel_Organization))

(∃ [V__RATE,V__PS]
(s__instance(V__PS,s__PricingScheme) ∧
   s__rentalPrice(V__ROOM,V__RATE,V__H,V__PS)

s__rents(V__CUST,V__H,V__ROOM,s__MeasureFn(1,s__DayDuration)))))
)

TravelPolicies.kif 1137-1150
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 37-53
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 438-444
No TPTP formula. May not be expressible in strict first order. Merge.kif 12080-12085
( ∀ [V__EXPERIMENT,V__SUBJECT]
   ((s__instance(V__EXPERIMENT,s__Experimenting) ∧
       s__instance(V__SUBJECT,s__Human) ∧
       s__experimentalSubject(V__EXPERIMENT,V__SUBJECT))
   ⇒
   (∃ [V__PROCESS]
     (s__instance(V__PROCESS,s__Process) ∧
       s__experiencer(V__PROCESS,V__SUBJECT)
     ∧
     (s__experimentalControlProcess(V__EXPERIMENT,V__PROCESS)
     ∨
     s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS)))))
)

UXExperimentalTerms.kif 4118-4129
( ∀ [V__F,V__P,V__I,V__E,V__LOC]
   ((s__instance(V__F,s__MilitaryForce) ∧
       s__instance(V__P,s__Human) ∧
       s__instance(V__I,s__Imprisoning) ∧
       s__member(V__P,V__F)
     ∧
     s__agent(V__I,V__E)
   ∧
   s__patient(V__I,V__P)

s__enemy(V__E,V__P)

s__eventLocated(V__I,V__LOC)

s__attribute(V__LOC,s__WarState))

s__attribute(V__P,s__PrisonerOfWar))
)

MilitaryPersons.kif 285-296
( ∀ [V__H]
   ((s__instance(V__H,s__Human) ∧
       s__attribute(V__H,s__Fever))
     ⇒
     (∃ [V__N]
       (s__measure(V__H,s__MeasureFn(V__N,s__FahrenheitDegree))
       ∧
       s__greaterThan(V__N,98.6))))
)

Mid-level-ontology.kif 6040-6048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 492-498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 419-424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 554-559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 463-468
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 132-140
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 115-129
( ∀ [V__H,V__B,V__O]
   ((s__instance(V__H,s__Human) ∧
       s__occupiesPosition(V__H,V__B,V__O)
     ∧
     s__attribute(V__B,s__Banker))
   ⇒
   s__instance(V__O,s__Bank_FinancialOrganization))
)

FinancialOntology.kif 3544-3549
( ∀ [V__H1,V__H2,V__FIELDOFSTUDY1,V__FIELDOFSTUDY2]
   ((s__instance(V__H1,s__Human) ∧
       s__instance(V__H2,s__Human) ∧
       s__hasExpertise(V__H1,V__FIELDOFSTUDY1)
     ∧
     s__hasExpertise(V__H2,V__FIELDOFSTUDY2)
   ∧
   (V__FIELDOFSTUDY1 = V__FIELDOFSTUDY2))

s__colleague(V__H1,V__H2))
)

LinkedInDegrees.kif 428-435
( ∀ [V__IMPRISON,V__AGENT,V__INTERVAL]
   ((s__instance(V__IMPRISON,s__Imprisoning) ∧
       s__detainee(V__IMPRISON,V__AGENT)
     ∧
     s__instance(V__AGENT,s__Human) ∧
     s__time(V__IMPRISON,V__INTERVAL)
   ∧
   s__instance(V__INTERVAL,s__TimeInterval))

(∃ [V__ARREST,V__TIME]
   (s__instance(V__TIME,s__TimeInterval) ∧
     s__time(V__ARREST,V__TIME)
   ∧
   s__earlier(V__TIME,V__INTERVAL)

s__instance(V__ARREST,s__PlacingUnderArrest) ∧
s__arrested(V__ARREST,V__AGENT))))
)

Mid-level-ontology.kif 21393-21406

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 104-117
No TPTP formula. May not be expressible in strict first order. People.kif 138-151
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
No TPTP formula. May not be expressible in strict first order. People.kif 221-238
No TPTP formula. May not be expressible in strict first order. People.kif 174-202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27597-27609
( ∀ [V__I]
   ((s__attribute(V__I,s__Inhabited) ∧
       s__instance(V__I,s__Region))
     ⇒
     (∃ [V__H]
       (s__instance(V__H,s__Human) ∧
         s__inhabits(V__H,V__I))))
)

Mid-level-ontology.kif 28198-28205
( ∀ [V__PERSON,V__ATTRIBUTE]
   ((s__attribute(V__PERSON,V__ATTRIBUTE)
     ∧
     s__instance(V__ATTRIBUTE,s__SocialRole))
   ⇒
   s__instance(V__PERSON,s__Human))
)

Merge.kif 17540-17544
( ∀ [V__U]
   ((s__attribute(V__U,s__Uninhabited) ∧
       s__instance(V__U,s__Region))
     ⇒
     (¬ (∃ [V__H]
         (s__instance(V__H,s__Human) ∧
           s__inhabits(V__H,V__U)))))
)

Mid-level-ontology.kif 28182-28190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222
( ∀ [V__ORG,V__BUSINESS,V__MEMBER]
   ((s__businessUnit(V__ORG,V__BUSINESS)
     ∧
     s__member(V__MEMBER,V__ORG))

s__instance(V__MEMBER,s__Human))
)

UXExperimentalTerms.kif 2786-2790
( ∀ [V__COUNTRY1,V__ROLE,V__COUNTRY2]
   ((s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE,V__COUNTRY2)
     ∧
     s__subAttribute(V__ROLE,s__DiplomaticAgent))
   ⇒
   (∃ [V__PERSON]
     (s__instance(V__PERSON,s__Human) ∧
       s__citizen(V__PERSON,V__COUNTRY1)
     ∧
     s__diplomaticRepresentativeInRole(V__COUNTRY1,V__PERSON,V__ROLE,V__COUNTRY2))))
)

Government.kif 4519-4527
( ∀ [V__A,V__FIELDOFSTUDY,V__SCHOOL,V__H]
   ((s__instance(V__A,s__AwardingADegree) ∧
       s__patient(V__A,s__DegreeFn(V__FIELDOFSTUDY,V__SCHOOL)))

(s__instance(V__H,s__Human) ∧
   s__agent(V__A,V__SCHOOL)

s__destination(V__A,V__H)))
)

LinkedInDegrees.kif 86-93
( ∀ [V__B,V__H]
   ((s__instance(V__B,s__Baptizing) ∧
       s__patient(V__B,V__H))
   ⇒
   s__instance(V__H,s__Human))
)

Mid-level-ontology.kif 7692-7696
( ∀ [V__D,V__A]
   ((s__instance(V__D,s__Demonstration) ∧
       s__agent(V__D,V__A))
   ⇒
   (s__instance(V__A,s__Human) ∨
     s__instance(V__A,s__GroupOfPeople)))
)

MilitaryProcesses.kif 2630-2636
( ∀ [V__EV,V__H]
   ((s__instance(V__EV,s__Evacuation) ∧
       s__experiencer(V__EV,V__H))
   ⇒
   s__instance(V__H,s__Human))
)

MilitaryProcesses.kif 2501-2505
( ∀ [V__GROUP,V__MEMBER]
   ((s__instance(V__GROUP,s__GroupOfPeople) ∧
       s__member(V__MEMBER,V__GROUP))
   ⇒
   s__instance(V__MEMBER,s__Human))
)

Merge.kif 16394-16398
( ∀ [V__I,V__A]
   ((s__instance(V__I,s__Immigrating) ∧
       s__agent(V__I,V__A))
   ⇒
   s__instance(V__A,s__Human))
)

Mid-level-ontology.kif 14930-14934
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3650
( ∀ [V__ITEM,V__LISTING,V__OWNER]
   ((s__instance(V__ITEM,s__Object) ∧
       s__instance(V__LISTING,s__WebListing) ∧
       s__instance(V__OWNER,s__Agent) ∧
       s__attribute(V__LISTING,s__ForSaleByOwner) ∧
       s__possesses(V__OWNER,V__ITEM))
   ⇒
   s__instance(V__OWNER,s__Human))
)

UXExperimentalTerms.kif 471-478
( ∀ [V__LANG,V__PROC,V__AGENT]
   ((s__instance(V__LANG,s__AnimalLanguage) ∧
       s__agent(V__PROC,V__AGENT)
     ∧
     s__instrument(V__PROC,V__LANG))

(s__instance(V__AGENT,s__Animal) ∧
   (¬ s__instance(V__AGENT,s__Human))))
)

Merge.kif 1441-1448
( ∀ [V__LANG,V__PROC,V__AGENT]
   ((s__instance(V__LANG,s__HumanLanguage) ∧
       s__agent(V__PROC,V__AGENT)
     ∧
     s__instrument(V__PROC,V__LANG))

s__instance(V__AGENT,s__Human))
)

Merge.kif 1476-1481

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. Military.kif 867-876
No TPTP formula. May not be expressible in strict first order. People.kif 462-472
No TPTP formula. May not be expressible in strict first order. Military.kif 890-901
No TPTP formula. May not be expressible in strict first order. People.kif 49-54
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941
(s__Food = s__FoodForFn(s__Human))

Merge.kif 14954-14954


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners