(<=>
(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 58845889 
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 58985908 
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 33343340 
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 95459550 
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 15641575 
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 19341938 
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 84538457 
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 82548262 
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 ?S1 ?S3)
(equal ?S3
(StringConcatenateFn ?S1 ?S2))) 
Midlevelontology.kif 2224822250 
The concatenation of a symbolic string and the symbolic string is another symbolic string if and only if the other symbolic string is equal to the concatenation of the symbolic string and a third symbolic string 
(<=>
(stringLength ?INT ?STRING)
(equal ?INT
(StringLengthFn ?STRING))) 
Midlevelontology.kif 2221822220 
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 55155519 

(=>
(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 1565215663 

(=>
(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 2767727689 

(=>
(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 429439 

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

(=>
(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 460473 

(=>
(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 19371945 

(=>
(and
(attribute ?SYLLABLE Stressed)
(instance ?WORD Word)
(part ?SYLLABLE ?WORD))
(not
(exists (?SYLLABLE2)
(and
(instance ?SYLLABLE2 Syllable)
(part ?SYLLABLE2 ?WORD)
(attribute ?SYLLABLE2 Stressed)
(not
(equal ?SYLLABLE2 ?SYLLABLE)))))) 
Midlevelontology.kif 1722217232 

(=>
(and
(attribute ?X CommunalAttribute)
(instance ?X Table)
(instance ?E1 Eating)
(agent ?E1 ?GRP1)
(instance ?GRP1 GroupOfPeople)
(eventLocated ?E1 ?X))
(modalAttribute
(exists (?GRP2 ?E2)
(and
(instance ?E2 Eating)
(agent ?E2 ?GRP2)
(not
(equal ?GRP1 ?GRP2))
(instance ?GRP2 GroupOfPeople)
(eventLocated ?E2 ?X2)
(meetsTemporally
(WhenFn ?E1)
(WhenFn ?E2))
(equal ?X ?X2))) Possibility)) 
Dining.kif 11581175 

(=>
(and
(attribute ?X Multilingual)
(instance ?SPEAK Speaking)
(agent ?SPEAK ?X))
(modalAttribute
(exists (?LANG1 ?LANG2)
(and
(instance ?LANG1 SpokenHumanLanguage)
(instance ?LANG2 SpokenHumanLanguage)
(not
(equal ?LANG1 ?LANG2))
(or
(patient ?SPEAK ?LANG1)
(patient ?SPEAK ?LANG2)))) Possibility)) 
Midlevelontology.kif 2366423677 

(=>
(and
(courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?MAGDEGREE)
(partlyLocated ?OBJ1 ?AREA)
(partlyLocated ?OBJ2 ?AREA)
(magneticVariation ?AREA ?DEGREE ?DIRECTION))
(exists (?DIFFDEGREE ?TRUEDEGREE)
(and
(=>
(and
(equal ?DIRECTION East)
(equal ?DIFFDEGREE
(AdditionFn ?MAGDEGREE ?DEGREE)))
(courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE))
(=>
(and
(equal ?DIRECTION West)
(equal ?DIFFDEGREE
(SubtractionFn ?MAGDEGREE ?DEGREE)))
(courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE))))) 
Geography.kif 36193636 

(=>
(and
(defaultValue ?R ?ARG ?N)
(?R @ARGS)
(equal ?VAL
(ListOrderFn
(ListFn @ARGS) ?ARG)))
(modalAttribute
(equal ?N ?VAL) Likely)) 
Merge.kif 1885018855 

(=>
(and
(distanceOnPath ?DIST ?PATH)
(pathInSystem ?PATH ?SYS)
(routeStart ?START ?PATH)
(routeEnd ?END ?PATH)
(abstractCounterpart ?GRAPH ?SYS))
(exists (?S ?BN ?EN)
(and
(subGraph ?S ?GRAPH)
(equal ?BN
(BeginNodeFn ?GRAPH))
(equal ?EN
(EndNodeFn ?GRAPH))
(abstractCounterpart ?BN ?START)
(abstractCounterpart ?EN ?END)))) 
Transportation.kif 27472760 

(=>
(and
(element ?ROOM
(PropertyFn ?HOTEL))
(attribute ?ROOM AnnexRoom)
(instance ?ROOM HotelRoom))
(exists (?BLDG1 ?BLDG2 ?FRNT)
(and
(subOrganization ?FRNT ?HOTEL)
(instance ?FRNT HotelFrontDesk)
(located ?FRNT ?BLDG1)
(element ?BLDG1
(PropertyFn ?HOTEL))
(element ?BLDG2
(PropertyFn ?HOTEL))
(part ?ROOM ?BLDG2)
(not
(equal ?BLDG1 ?BLDG2))))) 
Hotel.kif 10801093 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 