(<=>
(instance ?CONTINENT Continent)
(or
(equal Africa ?CONTINENT)
(equal NorthAmerica ?CONTINENT)
(equal SouthAmerica ?CONTINENT)
(equal Antarctica ?CONTINENT)
(equal Europe ?CONTINENT)
(equal Asia ?CONTINENT)
(equal Oceania ?CONTINENT))) 
Geography.kif 33633372 
An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity 
(<=>
(instance ?CS ConjugatedSubstance)
(exists (?C1 ?C2 ?P)
(and
(instance ?C1 CompoundSubstance)
(instance ?C2 CompoundSubstance)
(not
(equal ?C1 ?C2))
(instance ?P ChemicalSynthesis)
(resource ?P ?C1)
(resource ?P ?C2)
(result ?P ?CS)))) 
Midlevelontology.kif 61666176 
An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process 
(<=>
(instance ?GRAPH GraphCircuit)
(exists (?NODE)
(and
(equal
(BeginNodeFn ?GRAPH) ?NODE)
(equal
(EndNodeFn ?GRAPH) ?NODE)))) 
Merge.kif 54295434 
A graph path is an instance of graph circuit if and only if there exists a graph node such that the beginning of the graph path is equal to the graph node and the end of the graph path is equal to the graph node 
(<=>
(instance ?GRAPH MultiGraph)
(exists (?ARC1 ?ARC2 ?NODE1 ?NODE2)
(and
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(links ?NODE1 ?NODE2 ?ARC1)
(links ?NODE1 ?NODE2 ?ARC2)
(not
(equal ?ARC1 ?ARC2))))) 
Merge.kif 54425452 
A graph is an instance of multi graph if and only if there exist a graph arc, another graph arc,, , a graph node and another graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the other graph node is a part of the graph and the graph arc links the graph node and the other graph node and the other graph arc links the graph node and the other graph node and the graph arc is not equal to the other graph arc 
(<=>
(instance ?HEMISPHERE Hemisphere)
(or
(equal ?HEMISPHERE NorthernHemisphere)
(equal ?HEMISPHERE SouthernHemisphere)
(equal ?HEMISPHERE EasternHemisphere)
(equal ?HEMISPHERE WesternHemisphere))) 
Geography.kif 33473353 
An entity is an instance of hemisphere if and only if the entity is equal to northern hemisphere or the entity is equal to southern hemisphere or the entity is equal to eastern hemisphere or the entity is equal to western hemisphere 
(<=>
(instance ?OBJ SelfConnectedObject)
(forall (?PART1 ?PART2)
(=>
(equal ?OBJ
(MereologicalSumFn ?PART1 ?PART2))
(connected ?PART1 ?PART2)))) 
Merge.kif 89248929 
An object is an instance of self connected object if and only if for all another object and a third object 
(<=>
(languagePercentInRegion ?L ?N ?R)
(exists (?G1 ?G2)
(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 15681579 
A real number percent of people in a geographic area speak a language if and only if there exist a collection and another collection such that a sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2 
(<=>
(lessThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(lessThan ?NUMBER1 ?NUMBER2))) 
Merge.kif 17751779 
A quantity is less than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is less than the other quantity 
(<=>
(meetsTemporally ?INTERVAL1 ?INTERVAL2)
(equal
(EndFn ?INTERVAL1)
(BeginFn ?INTERVAL2))) 
Merge.kif 77847788 
A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval 
(<=>
(starts ?INTERVAL1 ?INTERVAL2)
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2)))) 
Merge.kif 75977605 
A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval 
(<=>
(stringConcatenation ?S1 ?S2 ?S3)
(equal ?S3
(StringConcatenateFn ?S1 ?S2))) 
Midlevelontology.kif 2226122263 
The concatenation of a symbolic string and another symbolic string is a third symbolic string if and only if the third symbolic string is equal to the concatenation of the symbolic string and the other symbolic string 
(<=>
(stringLength ?INT ?STRING)
(equal ?INT
(StringLengthFn ?STRING))) 
Midlevelontology.kif 2223122233 
A symbolic string is a nonnegative integer characters long if and only if the nonnegative integer is equal to the length of the symbolic string 
(=>
(<=>
(element ?ELEMENT ?SET1)
(element ?ELEMENT ?SET2))
(equal ?SET1 ?SET2)) 
Merge.kif 50915095 

(=>
(and
(approximateDiameter ?O
(MeasureFn ?L ?LM))
(sphereRadius ?S
(MeasureFn
(DivisionFn ?L 2) ?LM))
(measure ?S
(MeasureFn ?V1 ?VM))
(measure ?O
(MeasureFn ?V2 ?VM))
(instance ?LM LengthMeasure)
(instance ?VM VolumeMeasure))
(equal ?V1 ?V2)) 
Midlevelontology.kif 1565315664 

(=>
(and
(attribute ?A AppraisalAsJustTreatment)
(instance ?AJT AppraisalProcess)
(agent ?AJT ?A))
(exists (?P ?A2)
(and
(instance ?P Process)
(refers ?AJT ?P)
(agent ?P ?A2)
(not
(equal ?A ?A2))
(patient ?P ?A)
(wants ?A ?P)))) 
emotion.kif 374387 

(=>
(and
(attribute ?A AppraisalAsUnjustTreatment)
(instance ?AUJ AppraisalProcess)
(agent ?AUJ ?A))
(exists (?P ?A2)
(and
(instance ?P Process)
(refers ?AUJ ?P)
(agent ?P ?A2)
(not
(equal ?A ?A2))
(patient ?P ?A)
(not
(wants ?A ?P))))) 
emotion.kif 349363 

(=>
(and
(attribute ?C Collectible)
(hasPurpose ?C ?P))
(exists (?H)
(and
(instance ?H Human)
(wants ?H ?C)
(desires ?H ?P2)
(entails ?P2
(possesses ?H ?C))
(not
(equal ?P ?P2))))) 
Midlevelontology.kif 2768227694 

(=>
(and
(attribute ?M MashupRecording)
(instance ?M Recording))
(exists (?M1 ?M2 ?S1 ?S2)
(and
(musicInterpretation ?M1 ?S1)
(musicInterpretation ?M2 ?S2)
(not
(equal ?S1 ?S2))
(part ?M1 ?M)
(part ?M2 ?M)))) 
Music.kif 423433 

(=>
(and
(attribute ?M RemixRecording)
(instance ?M MusicRecording))
(exists (?O ?A)
(equal ?M
(RemixFn ?O ?A)))) 
Music.kif 441446 

(=>
(and
(attribute ?MR CoverRecording)
(instance ?MR MusicRecording)
(songArtist ?MR ?A)
(musicInterpretation ?MR ?M)
(record ?MR ?MM))
(exists (?ORIG ?ARTIST ?MUSIC)
(and
(musicInterpretation ?ORIG ?M)
(songArtist ?ORIG ?ARTIST)
(not
(equal ?A ?ARTIST))
(record ?ORIG ?MUSIC)
(before
(WhenFn ?MUSIC)
(WhenFn ?MM))))) 
Music.kif 454467 

(=>
(and
(attribute ?ORG UnicameralLegislature)
(legislativeBranch ?ORG ?AREA)
(instance ?CHAMBER1 LegislativeChamber)
(subOrganization ?CHAMBER1
(GovernmentFn ?AREA))
(instance ?CHAMBER2 LegislativeChamber)
(subOrganization ?CHAMBER2
(GovernmentFn ?AREA)))
(equal ?CHAMBER1 ?CHAMBER2)) 
Government.kif 19311939 

(=>
(and
(attribute ?Order FOKOrder)
(agreementPeriod ?Order ?Period))
(or
(exists (?Fill ?Time1)
(and
(instance ?Fill FillingAnOrder)
(patient ?Fill ?Order)
(equal
(WhenFn ?Fill) ?Time1)
(starts ?Time1 ?Period)))
(exists (?Kill ?Time2)
(and
(instance ?Kill CancellingAnOrder)
(patient ?Kill ?Order)
(equal
(WhenFn ?Kill) ?Time2)
(starts ?Time2 ?Period))))) 
FinancialOntology.kif 28022818 

(=>
(and
(attribute ?Order GTCOrder)
(agreementPeriod ?Order ?Period))
(or
(exists (?Execute)
(and
(instance ?Execute FillingAnOrder)
(patient ?Execute ?Order)
(equal
(WhenFn ?Execute) ?Time)
(overlapsTemporally ?Time ?Period)))
(exists (?Cancel)
(and
(instance ?Cancel CancellingAnOrder)
(patient ?Cancel ?Order)
(equal
(WhenFn ?Cancel) ?End)
(finishes ?End ?Period))))) 
FinancialOntology.kif 28382854 

(=>
(and
(attribute ?Order IOCOrder)
(agreementPeriod ?Order ?Period))
(or
(exists (?Fill ?Time1)
(and
(instance ?Fill FillingAnOrder)
(patient ?Fill ?Order)
(equal
(WhenFn ?Fill) ?Time1)
(starts ?Time1 ?Period)))
(exists (?Kill ?Time2)
(and
(instance ?Kill CancellingAnOrder)
(patient ?Kill ?Order)
(equal
(WhenFn ?Kill) ?Time2)
(starts ?Time2 ?Period))))) 
FinancialOntology.kif 27752791 

(=>
(and
(attribute ?Order LimitOrder)
(partyToAgreement ?Order ?Broker)
(attribute ?Broker Broker)
(orderFor ?Order Buying ?Object)
(measure ?Object ?Quantity)
(limitPrice ?Order ?LimitPrice)
(askPrice ?Object ?Price ?Time)
(lessThanOrEqualTo ?Price ?LimitPrice))
(holdsObligation
(KappaFn ?Buy
(and
(instance ?Buy Buying)
(patient ?Buy ?Object)
(measure ?Object ?Quantity)
(equal
(WhenFn ?Buy) ?BuyingTime)
(overlapsTemporally ?Time ?BuyingTime))) ?Broker)) 
FinancialOntology.kif 19451963 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 