(<=>
(beliefGroupPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?BG)
(member ?P ?G1)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1528-1539 |
beliefGroupPercentInRegion BeliefGroup, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, Entit�Concreta, Entit�Concreta2, NumeroReale1 and NumeroReale2 Entit�Concreta è localizzato in AreaGeografica Entit�Concreta è un membro di BeliefGroup Entit�Concreta è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale1 Entit�Concreta2 è localizzato in AreaGeografica Entit�Concreta2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(ethnicityPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?BG)
(member ?P ?G1)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1547-1558 |
ethnicityPercentInRegion GruppoEtnico, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, Entit�Concreta, Entit�Concreta2, NumeroReale1 and NumeroReale2 Entit�Concreta è localizzato in AreaGeografica Entit�Concreta è un membro di GruppoEtnico Entit�Concreta è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale1 Entit�Concreta2 è localizzato in AreaGeografica Entit�Concreta2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(languagePercentInRegion ?L ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?G1)
(speaksLanguage ?P ?L)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1566-1577 |
languagePercentInRegion Linguaggio, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, AgenteSensibile, AgenteSensibile2, NumeroReale1 and NumeroReale2 AgenteSensibile è localizzato in AreaGeografica AgenteSensibile è un membro di InsiemeConcreto speaksLanguage AgenteSensibile and Linguaggio memberCount InsiemeConcreto and NumeroReale1 AgenteSensibile2 è localizzato in AreaGeografica AgenteSensibile2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(member ?PART InternationalRedCrossAndRedCrescentMovement)
(member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3603-3605 |
Entit�Concreta è un membro di InternationalRedCrossAndRedCrescentMovement Entit�Concreta è un membro di InternationalFederationOfRedCrossAndRedCrescentSocieties |
(<=>
(memberAtTime ?OBJ ?COLLECTION ?TIME)
(holdsDuring ?TIME
(member ?OBJ ?COLLECTION))) |
Mid-level-ontology.kif 22702-22704 |
memberAtTime OggettoIntegro, InsiemeConcreto and PosizioneTemporale OggettoIntegro è un membro di InsiemeConcreto vales durante PosizioneTemporale |
(<=>
(subCollection ?COLL1 ?COLL2)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL1)
(member ?MEMBER ?COLL2)))) |
Merge.kif 1297-1302 |
InsiemeConcreto è sottoinsieme un proprio InsiemeConcreto Entit�Concreta |
(=>
(and
(attribute ?AGENT
(MemberFn ?ORG))
(instance ?AGENT AutonomousAgent)
(instance ?ORG Organization))
(member ?AGENT ?ORG)) |
Government.kif 1774-1779 |
|
(=>
(and
(attribute ?INDIVIDUAL ?CH)
(instance ?CH Christian))
(member ?INDIVIDUAL Christianity)) |
People.kif 795-799 |
|
(=>
(and
(attribute ?P ?R)
(instance ?R MilitaryRank))
(member ?P MilitaryService)) |
Military.kif 249-253 |
|
(=>
(and
(element ?X
(PropertyFn ?HOTEL))
(instance ?X RoomInventory))
(forall (?Y)
(=>
(member ?Y ?X)
(element ?Y
(PropertyFn ?HOTEL))))) |
Hotel.kif 147-154 |
|
(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists (?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG))))) |
Merge.kif 10562-10571 |
|
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization))))) |
Merge.kif 10584-10593 |
|
(=>
(and
(instance ?AGENT AutonomousAgent)
(instance ?SITE WebSite))
(exists (?COLL)
(and
(instance ?COLL Collection)
(forall (?LISTING)
(=>
(and
(instance ?LISTING WebListing)
(hostedOn ?LISTING ?SITE)
(listingSeller ?LISTING ?AGENT))
(member ?LISTING ?COLL)))
(equal
(SellersItemsFn ?AGENT ?SITE) ?COLL)))) |
UXExperimentalTerms.kif 992-1008 |
|
(=>
(and
(instance ?AGENT Human)
(instance ?ORG Organization)
(instance ?POSITION Position)
(attribute ?AGENT
(MemberRoleFn ?ORG ?POSITION)))
(member ?AGENT ?ORG)) |
Government.kif 1797-1803 |
|
(=>
(and
(instance ?AREA Nation)
(currencyType ?AREA EuroDollar))
(member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3229-3233 |
|
(=>
(and
(instance ?ATC AddToCart)
(instance ?OBJ Object)
(patient ?ATC ?OBJ)
(agent ?ATC ?USER))
(exists (?COLL ?SITE ?AFTER ?INTERVAL)
(and
(instance ?COLL Collection)
(instance ?SITE WebSite)
(instance ?INTERVAL TimeInterval)
(webcart ?USER ?COLL ?SITE)
(equal
(BeginFn ?INTERVAL)
(EndFn ?ATC))
(holdsDuring ?AFTER
(member ?OBJ ?COLL))))) |
UXExperimentalTerms.kif 1326-1342 |
|
(=>
(and
(instance ?ATTR USMilitaryRank)
(attribute ?PERSON ?ATTR))
(exists (?MO)
(and
(member ?PERSON ?MO)
(militaryOfArea ?MO UnitedStates)))) |
Military.kif 257-264 |
|
(=>
(and
(instance ?C CavalryUnit)
(instance ?B Battle)
(agent ?B ?C))
(exists (?P ?V ?T)
(and
(attribute ?P Soldier)
(member ?P ?C)
(instance ?T Transportation)
(agent ?T ?P)
(instance ?V Vehicle)
(patient ?T ?V)
(during ?T ?B)))) |
Mid-level-ontology.kif 8386-8399 |
|
(=>
(and
(instance ?C Crystal)
(attribute ?C MonoCrystalline)
(instance ?SUB Substance)
(attribute ?SUB Solid)
(attribute ?SUB PolyCrystalline)
(instance ?S Substance)
(surface ?S ?SUB)
(not
(part ?C ?S)))
(exists (?CLNT ?X ?MBR)
(and
(instance ?CLNT Collection)
(memberCount ?CLNT ?X)
(greaterThanOrEqualTo ?X 4)
(=>
(member ?MBR ?CLNT)
(and
(part ?MBR ?SUB)
(meetsSpatially ?C ?MBR)))))) |
Geography.kif 7142-7162 |
|
(=>
(and
(instance ?COLL Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL)
(instance ?MEMBER FinancialTransaction))))
(exists (?ITEM ?BUYING)
(equal
(CardinalityFn
(KappaFn ?ITEM
(and
(instance ?ITEM Physical)
(instance ?BUYING Buying)
(member ?BUYING ?COLL)
(patient ?BUYING ?ITEM))))
(BoughtItemsFn ?COLL)))) |
UXExperimentalTerms.kif 2887-2903 |
|
(=>
(and
(instance ?COLL Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL)
(instance ?MEMBER WebListing))))
(equal
(DivisionFn
(CardinalityFn
(exists (?LISTING ?SITE ?ITEM)
(KappaFn ?LISTING
(and
(instance ?LISTING WebListing)
(instance ?SITE WebSite)
(instance ?ITEM Physical)
(member ?LISTING ?COLL)
(patient ?LISTING ?ITEM)
(hostedOn ?LISTING ?SITE)
(exists (?BUYING)
(and
(instance ?BUYING Buying)
(patient ?BUYING ?ITEM)
(eCommerceSite ?BUYING ?SITE)))))))
(CardinalityFn ?COLL))
(BidCountFn ?COLL))) |
UXExperimentalTerms.kif 2845-2870 |
|
(=>
(and
(instance ?COLL Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL)
(instance ?MEMBER WebListing))))
(exists (?BIDDING ?ITEM ?LISTING ?BIDDING)
(equal
(CardinalityFn
(KappaFn ?BIDDING
(and
(instance ?ITEM Physical)
(instance ?LISTING WebListing)
(instance ?BIDDING Bidding)
(member ?LISTING ?COLL)
(objectOfBid ?BIDDING ?ITEM)
(patient ?LISTING ?ITEM))))
(BidCountFn ?COLL)))) |
UXExperimentalTerms.kif 2922-2940 |
|
(=>
(and
(instance ?EV Evacuation)
(agent ?EV ?A)
(experiencer ?EV ?P))
(exists (?C ?CA)
(and
(instance ?C Classifying)
(subProcess ?C ?EV)
(experiencer ?C ?P)
(or
(subOrganization ?CA ?A)
(member ?CA ?A)
(equal ?CA ?A))
(agent ?C ?CA)))) |
MilitaryProcesses.kif 2609-2623 |
|
(=>
(and
(instance ?EV Evacuation)
(agent ?EV ?A)
(origin ?EV ?O))
(exists (?T ?TA)
(and
(instance ?T Translocation)
(subProcess ?T ?EV)
(origin ?T ?O)
(or
(experiencer ?T ?TA)
(agent ?T ?TA))
(or
(subOrganization ?TA ?A)
(member ?TA ?A)
(equal ?TA ?A))))) |
MilitaryProcesses.kif 2627-2643 |
|
(=>
(and
(instance ?EV Evacuation)
(experiencer ?EV ?P)
(agent ?EV ?A))
(exists (?M ?MA)
(and
(instance ?M TherapeuticProcess)
(subProcess ?M ?EV)
(or
(subOrganization ?MA ?A)
(member ?MA ?A)
(equal ?MA ?A))
(agent ?M ?MA)
(experiencer ?M ?P)))) |
MilitaryProcesses.kif 2591-2605 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
