| appearance as argument number 1 |
|
| (documentation WireLine EnglishLanguage "A Wire that is designed for conducting electricity.") | Mid-level-ontology.kif 3556-3556 | |
| (subclass WireLine EngineeringComponent) | Mid-level-ontology.kif 3555-3555 | |
| (subclass WireLine Wire) | Mid-level-ontology.kif 3554-3554 |
| appearance as argument number 2 |
|
|
| (subclass TelephoneLine WireLine) | Mid-level-ontology.kif 3566-3566 | |
| (termFormat ChineseLanguage WireLine "电线") | domainEnglishFormat.kif 63203-63203 | |
| (termFormat ChineseTraditionalLanguage WireLine "電線") | domainEnglishFormat.kif 63202-63202 | |
| (termFormat EnglishLanguage WireLine "wire line") | domainEnglishFormat.kif 63201-63201 |
| antecedent |
|
|
| (=> (instance ?WL WireLine) (hasPurpose ?WL (exists (?R) (and (instance ?R Radiating) (path ?R ?WL))))) |
Mid-level-ontology.kif 3558-3564 |
| consequent |
|
|
| (=> (instance ?C Cable) (exists (?WIRE) (and (instance ?WIRE WireLine) (part ?WIRE ?C)))) |
Hotel.kif 1368-1373 | |
| (=> (instance ?X CordedTelephone) (exists (?HANDSET ?CRADLE ?WIRE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))) |
Communications.kif 78-87 | |
| (=> (instance ?X CordlessTelephone) (exists (?HANDSET ?CRADLE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (not (exists (?WIRE) (and (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))))) |
Communications.kif 95-107 | |
| (=> (instance ?X ElectricalOutlet) (hasPurpose ?X (exists (?POWER ?WIRE) (and (instance ?POWER PowerSource) (instance ?WIRE Collection) (memberType ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?POWER))))) |
Mid-level-ontology.kif 22132-22140 | |
| (=> (instance ?X TelephoneCradle) (hasPurpose ?X (exists (?SYS ?WIRE) (and (instance ?SYS TelephoneSystem) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?SYS))))) |
Communications.kif 64-71 |
|
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