(<=>
(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, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2 |
(<=>
(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 Grupo Etnico, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de Grupo Etnico Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2 |
(<=>
(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 Linguagem, Numero Real and Area Geografica Colecao Colecao, Agente Sentiente, Agente Sentiente2, Numero Real1 and Numero Real2 Agente Sentiente e' situado em Area Geografica Agente Sentiente e' membro de Colecao speaksLanguage Agente Sentiente and Linguagem memberCount Colecao and Numero Real1 Agente Sentiente2 e' situado em Area Geografica Agente Sentiente2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2 |
(<=>
(member ?PART InternationalRedCrossAndRedCrescentMovement)
(member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3603-3605 |
Fisico e' membro de InternationalRedCrossAndRedCrescentMovement Fisico e' membro de InternationalFederationOfRedCrossAndRedCrescentSocieties |
(<=>
(memberAtTime ?OBJ ?COLLECTION ?TIME)
(holdsDuring ?TIME
(member ?OBJ ?COLLECTION))) |
Mid-level-ontology.kif 22703-22705 |
memberAtTime Objeto auto-conectado, Colecao and Posicao Temporal Objeto auto-conectado e' membro de Colecao vale durante Posicao Temporal |
(<=>
(subCollection ?COLL1 ?COLL2)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL1)
(member ?MEMBER ?COLL2)))) |
Merge.kif 1297-1302 |
Colecao e' uma sub-colecao de Colecao Fisico |
(=>
(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 10540-10549 |
|
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization))))) |
Merge.kif 10562-10571 |
|
(=>
(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 8387-8400 |
|
(=>
(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 |
