Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Crystal
Crystal

appearance as argument number 1
-------------------------


(documentation Crystal ChineseLanguage "Crystal Solid 是一种拥有 CrystallineStructureSubstance。") Geography.kif 7273-7274
(documentation Crystal EnglishLanguage "A Crystal Solid is a Substance with a CrystallineStructure.") Geography.kif 7270-7271
(subclass Crystal Substance) Geography.kif 7276-7276 Crystal物質subclass では

appearance as argument number 2
-------------------------


(subclass Snowflake Crystal) Weather.kif 3528-3528 SnowflakeCrystalsubclass では
(termFormat ChineseLanguage Crystal "水晶") Geography.kif 7280-7280 SnowflakeCrystalsubclass では
(termFormat EnglishLanguage Crystal "crystal") Geography.kif 7278-7278 SnowflakeCrystalsubclass では

antecedent
-------------------------


(=>
    (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 7308-7328


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners