<=> |
![]() |
(<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 11681-11688 | |
(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20208-20212 | |
(<=> (instance ?C City) (instance (GovernmentFn ?C) CityGovernment)) |
Mid-level-ontology.kif 8332-8334 | |
(<=> (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 3504-3513 | |
(<=> (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)))) |
Mid-level-ontology.kif 6477-6487 | |
(<=> (instance ?Collateral Collateral) (exists (?Loan) (and (instance ?Loan SecuredLoan) (securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1321-1326 | |
(<=> (instance ?DISTRICT CityDistrict) (exists (?CITY) (and (instance ?CITY City) (geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 8079-8084 | |
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30082-30086 | |
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 20231-20235 | |
(<=> (instance ?HEMISPHERE Hemisphere) (or (equal ?HEMISPHERE NorthernHemisphere) (equal ?HEMISPHERE SouthernHemisphere) (equal ?HEMISPHERE EasternHemisphere) (equal ?HEMISPHERE WesternHemisphere))) |
Geography.kif 3488-3494 | |
(<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 | |
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8978-8982 | |
(<=> (instance ?Index InflationIndex) (exists (?Inflation) (and (instance ?Inflation Inflation) (benchmark ?Inflation ?Index)))) |
FinancialOntology.kif 1668-1673 | |
(<=> (instance ?Index StockIndex) (exists (?Stock) (and (instance ?Stock Stock) (benchmark ?Index ?Stock)))) |
FinancialOntology.kif 1696-1701 | |
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20185-20189 | |
(<=> (instance ?Loan SecuredLoan) (exists (?Security) (securedBy ?Loan ?Security))) |
FinancialOntology.kif 1348-1351 | |
(<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1948-1952 | |
(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1926-1930 | |
(<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1937-1941 | |
(<=> (instance ?ORG GovernmentOrganization) (or (instance ?ORG Government) (exists (?GOV) (and (instance ?GOV Government) (subOrganization ?ORG ?GOV))))) |
Government.kif 108-115 | |
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 20240-20244 | |
(<=> (instance ?RR BroadGaugeRailway) (property ?RR BroadGauge)) |
Transportation.kif 411-413 | |
(<=> (instance ?RR DualGaugeRailway) (property ?RR DualGauge)) |
Transportation.kif 469-471 | |
(<=> (instance ?RR NarrowGaugeRailway) (property ?RR NarrowGauge)) |
Transportation.kif 460-462 | |
(<=> (instance ?RR StandardGaugeRailway) (property ?RR StandardGauge)) |
Transportation.kif 443-445 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |